Home

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

Resources:

• Mathematical operators and symbols in Unicode

Language examples:

• Coq
• F#
• Haskell
• OCaml