Coq

Language setting:

"language": ["coq", {"pattern": "**/*.v"}],

Basic substitutions:

{ "ugly": "forall",      "pretty": "∀", "pre": "\\b", "post": "\\b" },
{ "ugly": "exists",      "pretty": "∃", "pre": "\\b", "post": "\\b" },
{ "ugly": "fun",         "pretty": "λ", "pre": "\\b", "post": "\\b" },
{ "ugly": "=>",          "pretty": "⇒", },
{ "ugly": ":=",          "pretty": "≜", },

Logical:

{ "ugly": "False",       "pretty": "⊥", "pre": "\\b", "post": "\\b" },
{ "ugly": "True",        "pretty": "⊤", "pre": "\\b", "post": "\\b" },
{ "ugly": "/\\\\",       "pretty": "∧", },
{ "ugly": "\\\\/",       "pretty": "∨", },
{ "ugly": "<->",         "pretty": "⟷", },
{ "ugly": "->",          "pretty": "⟶", },

Top level:

{ "ugly": "Defined[.]",  "pretty": "□", "pre": "\\b", "post": "(?:$|\\s)" },
{ "ugly": "Admitted[.]", "pretty": "😱","pre": "\\b", "post": "(?:$|\\s)" },
{ "ugly": "Proof[.]",    "pretty": "∵", "pre": "\\b", "post": "(?:$|\\s)" },
{ "ugly": "Qed[.]",      "pretty": "∎", "pre": "\\b", "post": "(?:$|\\s)" },