-
Notifications
You must be signed in to change notification settings - Fork 22
Eric Taylor edited this page May 18, 2021
·
2 revisions
{
"language" : ["hy-lang", {"pattern": "**/*.{hy}"}],
"revealOn" : "active-line",
"adjustCursorMovement": true,
"substitutions" : [
{ "ugly": "defn", "pretty": "ƒ", "pre": "\\b", "post": "\\b"},
{ "ugly": "fn", "pretty": "λ", "pre": "\\b", "post": "\\b"},
{ "ugly": "sfor", "pretty": "s∀", "pre": "\\b", "post": "\\b"},
{ "ugly": "\\*", "pretty": "·", "pre": "[^\\*]|^", "post": "\\s|$"},
{ "ugly": "math.sqrt", "pretty": "√", "pre": "\\(", "post": "\\b"},
{ "ugly": "sum", "pretty": "∑", "pre": "\\(", "post": "\\b"},
{ "ugly": "in", "pretty": "∈", "pre": "\\b", "post": "\\b"},
{ "ugly": "not-in", "pretty": "∉", "pre": "\\b", "post": "\\b" },
{ "ugly": "epsilon", "pretty": "ε", "pre": "\\b", "post": "\\b" },
{ "ugly": "and", "pretty": "∧", "pre": "\\s|^", "post": "\\s|$"},
{ "ugly": "or", "pretty": "∨", "pre": "\\s|^", "post": "\\s|$"},
{ "ugly": "not", "pretty": "¬", "pre": "\\s|^", "post": "\\s|$"},
{ "ugly": "fn/a", "pretty": "λa", "pre": "\\b", "post": "\\b" },
{ "ugly": "dfor", "pretty": "d∀", "pre": "\\b", "post": "\\b" },
{ "ugly": "for", "pretty": "∀", "pre": "\\s|^", "post": "\\s|$"},
{ "ugly": "->", "pretty": "⊳", "pre": "[^->]", "post": "[^->]"},
{ "ugly": "->>", "pretty": "‣", "pre": "[^->]", "post": "[^->]"},
{ "ugly": "alpha", "pretty": "α", "pre": "\\b", "post": "\\b"},
{ "ugly": "beta", "pretty": "β", "pre": "\\b", "post": "\\b"},
{ "ugly": "xi", "pretty": "ξ", "pre": "\\b", "post": "\\b" },
{ "ugly": ">=", "pretty": "≥", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$"},
{ "ugly": "<=", "pretty": "≤", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$"},
{ "ugly": "!=", "pretty": "≠", "pre": "[^<>=!]|^", "post": "[^<>=]|$"},
{ "ugly": "lfor", "pretty": "s∀", "pre": "\\b", "post": "\\b"},
{ "ugly": "gfor", "pretty": "g∀", "pre": "\\b", "post": "\\b"},
{ "ugly": "None", "pretty": "∅", "pre": "\\b", "post": "\\b"},
{ "ugly": "math.pi", "pretty": "π", "pre": "\\b", "post": "\\b"},
{ "ugly": "some", "pretty": "∃", "pre": "\\b", "post": "\\b"},
{ "ugly": "gamma", "pretty": "γ", "pre": "\\b", "post": "\\b"},
{ "ugly": "delta", "pretty": "δ", "pre": "\\b", "post": "\\b"},
{ "ugly": "#%", "pretty": "ξ", "pre": "\\b", "post": "\\b"},
{ "ugly": "True", "pretty": "⊤", "pre": "\\b", "post": "\\b"},
{ "ugly": "False", "pretty": "⊥", "pre": "\\b", "post": "\\b"}
]}