Home

Please add your own substitution languages, recommendations, corrections, and comments.

Resources:

• Mathematical operators and symbols in Unicode

Language examples:

• Coq
• F#
• Haskell
• OCaml
• Python
• Hy
• Latex

Font-specific examples:

• [Fira Code Symbol Regular (for Fira Code and Fira Mono)](Fira Code Symbol Regular)