F#

Language setting:

"language": "fsharp",

Basic substitutions:

{ "ugly": "fun",           "pretty": "λ", "pre": "\\b", "post": "\\b" },
{ "ugly": "<-",            "pretty": "←" },
{ "ugly": "->",            "pretty": "→" },
{ "ugly": "=",             "pretty": "=", "pre": "[^<>=!]|^", "post": "[^<>=]|$" },
{ "ugly": "==",            "pretty": "≡" },
{ "ugly": "!=",            "pretty": "≢" },
{ "ugly": "<>",            "pretty": "≠" },
{ "ugly": "&&",            "pretty": "∧" },
{ "ugly": "\\|\\|",        "pretty": "∨" },
{ "ugly": "not\\s?",       "pretty": "¬", "pre": "\\b", "post": "\\b" },
{ "ugly": ">",             "pretty": ">", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": "<",             "pretty": "<", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": ">=",            "pretty": "≥", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": "<=",            "pretty": "≤", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": "sqrt\\s?",      "pretty": "√", "pre": "\\b", "post": "\\b" },
{ "ugly": "alpha",         "pretty": "α", "pre": "\\b", "post": "\\b" },
{ "ugly": "beta",          "pretty": "β", "pre": "\\b", "post": "\\b" },
{ "ugly": "gamma",         "pretty": "γ", "pre": "\\b", "post": "\\b" },
{ "ugly": "delta",         "pretty": "δ", "pre": "\\b", "post": "\\b" },
{ "ugly": "''",            "pretty": "″" },
{ "ugly": "'",             "pretty": "′" },
{ "ugly": "List[.]forall", "pretty": "∀", "pre": "\\b", "post": "\\b" },
{ "ugly": "List[.]exists", "pretty": "∃", "pre": "\\b", "post": "\\b" },
{ "ugly": ">>",            "pretty": "≫", "pre": "[^=<>]|^", "post": "[^=<>]|$" },
{ "ugly": "<<",            "pretty": "≪", "pre": "[^=<>]|^", "post": "[^=<>]|$" },
{ "ugly": "\\|",           "pretty": "║", "pre": "^\\s+" }

Note: symbol 'not identical to' (&#x2262 ≢) is not always rendered correctly in Chrome on Windows. Potential alternative: ⧥.