Skip to content

Python

Jump to bottom Edit New page
Andrew edited this page Jul 5, 2020 · 3 revisions 
"prettifySymbolsMode.substitutions": [{
    "language": "python",
    "substitutions": [
        { "ugly": "and", "pretty": "∧", "pre": "\\s|^", "post": "\\s|$" },
        { "ugly": "or", "pretty": "∨", "pre": "\\s|^", "post": "\\s|$" },
        { "ugly": "\\s?\\*\\*\\s?2", "pretty": "²", "post": "\\b" },
        { "ugly": "\\s?\\*\\*\\s?3", "pretty": "³", "post": "\\b" },
        { "ugly": "\\*", "pretty": "·", "pre": "[^\\*]|^", "post": "\\s|$" },
        { "ugly": ">=", "pretty": "≥", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
        { "ugly": "<=", "pretty": "≤", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
        { "ugly": "=", "pretty": "≔", "pre": "[^<>=!]|^", "post": "[^<>=]|$" },
        { "ugly": "==", "pretty": "=", "pre": "[^<>=!]|^", "post": "[^<>=]|$" },
        { "ugly": "!=", "pretty": "≠", "pre": "[^<>=!]|^", "post": "[^<>=]|$" },
        { "ugly": "lambda", "pretty": "λ", "pre": "\\b", "post": "\\b" },
        { "ugly": "True", "pretty": "⊤", "pre": "\\b", "post": "\\b" },
        { "ugly": "False", "pretty": "⊥", "pre": "\\b", "post": "\\b" },
        { "ugly": "math.sqrt", "pretty": "√", "pre": "\\b", "post": "\\(" },
        { "ugly": "sum", "pretty": "∑", "pre": "\\b", "post": "\\(" }
    ]
}]
Add a custom footer

Language examples:

Clone this wiki locally