Haskell

Language setting:

"language": "haskell",

Basic substitutions:

{ "ugly": "\\",       "pretty": "λ"},
{ "ugly": "->",       "pretty": "→" },
{ "ugly": "<-",       "pretty": "←" },
{ "ugly": "==",       "pretty": "≡" },
{ "ugly": "/=",       "pretty": "≢" },
{ "ugly": "\\(\\)",   "pretty": "∅" },
{ "ugly": "&&",       "pretty": "∧" },
{ "ugly": "\\|\\|",   "pretty": "∨" },
{ "ugly": "not\\s?",  "pretty": "¬", "pre": "\\b", "post": "\\b" },
{ "ugly": "sqrt\\s?", "pretty": "√", "pre": "\\b", "post": "\\b" },
{ "ugly": ">",        "pretty": ">", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": "<",        "pretty": "<", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": ">=",       "pretty": "≥", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": "<=",       "pretty": "≤", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "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": "!!",       "pretty": "‼" },
{ "ugly": "\\.\\.",   "pretty": "…" }

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