Skip to content

Instantly share code, notes, and snippets.

@rhiokim
Created May 30, 2020 08:40
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rhiokim/5688ad6e9ef7f1f4f545d7faed7d03eb to your computer and use it in GitHub Desktop.
Save rhiokim/5688ad6e9ef7f1f4f545d7faed7d03eb to your computer and use it in GitHub Desktop.
"prettifySymbolsMode.adjustCursorMovement": true,
"prettifySymbolsMode.substitutions": [{
"language": "typescriptreact",
"substitutions": [
{
"ugly": "function",
"pretty": "ƒ",
"pre": "\\b",
"post": "\\b"
},
{
"ugly": "=>",
"pretty": "⇒"
},
{
"ugly": "\\(\\) =>",
"pretty": "λ",
},
{
"ugly": "return",
"pretty": "⟼"
},
{
"ugly": "import",
"pretty": "⟻"
},
{
"ugly": "yield",
"pretty": "⟻"
},
{
"ugly": "false",
"pretty": "𝔽"
},
{
"ugly": "string",
"pretty": "𝕊"
},
{
"ugly": "number",
"pretty": "ℤ"
},
{
"ugly": "boolean",
"pretty": "𝔹"
},
{
"ugly": "null",
"pretty": "∅"
},
{
"ugly": "true",
"pretty": "𝕋"
},
{
"ugly": "=",
"pretty": "=",
"pre": "[^<>=!]|^",
"post": "[^<>=]|$"
},
{
"ugly": "===",
"pretty": "≡"
},
{
"ugly": "!==",
"pretty": "≢"
},
{
"ugly": "&&",
"pretty": "∧"
},
{
"ugly": "\\|\\|",
"pretty": "∨"
},
{
"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": ">>",
"pretty": "≫",
"pre": "[^=<>]|^",
"post": "[^=<>]|$"
},
{
"ugly": "<<",
"pretty": "≪",
"pre": "[^=<>]|^",
"post": "[^=<>]|$"
},
{
"ugly": "\\|",
"pretty": "║",
"pre": "^\\s+"
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment