Settings.json

// Place your settings in this file to overwrite the default settings          
{
    "editor.fontFamily": "pragmatapro",
    "editor.fontSize": 15,
    "editor.fontLigatures": true,
    "indentRainbow.colors": [
        "rgba(180,237,210,.5)",
        "rgba(160,207,211,.5)",
        "rgba(141,148,186,.5)",
        "rgba(154,122,160,.5)",
        "rgba(135,103,123,.5)"
    ],

    "prettifySymbolsMode.substitutions": [{
        "language": "fsharp",
        "substitutions": [{
                "ugly": "fun",
                "pretty": "λ",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "\\(\\)",
                "pretty": "∅"
            },
            {
                "ugly": "Set[.]forall",
                "pretty": "∀",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]exists",
                "pretty": "∃",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]union",
                "pretty": "∪",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]intersect",
                "pretty": "∩",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]isSubset",
                "pretty": "⊆",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]isSuperset",
                "pretty": "⊇",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]isProperSubset",
                "pretty": "⊂",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]isProperSuperset",
                "pretty": "⊃",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Set[.]contains",
                "pretty": "∈",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "List[.]forall",
                "pretty": "∀",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "List[.]exists",
                "pretty": "∃",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "List[.]contains",
                "pretty": "∈",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "ignore",
                "pretty": "空",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Some",
                "pretty": "有",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "None",
                "pretty": "无",
                "pre": "\\b",
                "post": "\\b"
            },
            {
                "ugly": "Choice1Of2",
                "pretty": "一",
                "pre": "\\b",
                "post": "\\b"
            }, {
                "ugly": "Choice2Of2",
                "pretty": "二",
                "pre": "\\b",
                "post": "\\b"
            }, {
                "ugly": "``",
                "pretty": "༺",
                "post": "\\b",
                "pre": "\\s"
            }, {
                "ugly": "``",
                "pretty": "༻",
                "pre": "\\b",
                "post": "\\s"
            }

        ]
    }]
}