Source file tm_grammar_tex.ml

let lang_id = "tex"
let json = {json|{
  "displayName": "TeX",
  "name": "tex",
  "patterns": [
    {
      "include": "#iffalse-block"
    },
    {
      "include": "#macro-control"
    },
    {
      "include": "#catcode"
    },
    {
      "include": "#comment"
    },
    {
      "match": "[]\\[]",
      "name": "punctuation.definition.brackets.tex"
    },
    {
      "include": "#dollar-math"
    },
    {
      "match": "\\\\\\\\",
      "name": "keyword.control.newline.tex"
    },
    {
      "include": "#ifnextchar"
    },
    {
      "include": "#macro-general"
    }
  ],
  "repository": {
    "braces": {
      "begin": "(?<!\\\\)\\{",
      "beginCaptures": {
        "0": {
          "name": "punctuation.group.begin.tex"
        }
      },
      "end": "(?<!\\\\)}",
      "endCaptures": {
        "0": {
          "name": "punctuation.group.end.tex"
        }
      },
      "name": "meta.group.braces.tex",
      "patterns": [
        {
          "include": "#braces"
        }
      ]
    },
    "catcode": {
      "captures": {
        "1": {
          "name": "keyword.control.catcode.tex"
        },
        "2": {
          "name": "punctuation.definition.keyword.tex"
        },
        "3": {
          "name": "punctuation.separator.key-value.tex"
        },
        "4": {
          "name": "constant.numeric.category.tex"
        }
      },
      "match": "((\\\\)catcode)`\\\\?.(=)(\\d+)",
      "name": "meta.catcode.tex"
    },
    "comment": {
      "begin": "(^[\\t ]+)?(?=%)",
      "beginCaptures": {
        "1": {
          "name": "punctuation.whitespace.comment.leading.tex"
        }
      },
      "end": "(?!\\G)",
      "patterns": [
        {
          "begin": "%:?",
          "beginCaptures": {
            "0": {
              "name": "punctuation.definition.comment.tex"
            }
          },
          "end": "$\\n?",
          "name": "comment.line.percentage.tex"
        },
        {
          "begin": "^(%!TEX) (\\S*) =",
          "beginCaptures": {
            "1": {
              "name": "punctuation.definition.comment.tex"
            }
          },
          "end": "$\\n?",
          "name": "comment.line.percentage.directive.tex"
        }
      ]
    },
    "conditionals": {
      "begin": "(?<=^\\s*)\\\\if(?!f\\b)[a-z]*",
      "end": "(?<=^\\s*)\\\\fi",
      "patterns": [
        {
          "include": "#comment"
        },
        {
          "include": "#conditionals"
        }
      ]
    },
    "dollar-math": {
      "begin": "(\\$\\$?)",
      "beginCaptures": {
        "1": {
          "name": "punctuation.definition.string.begin.tex"
        }
      },
      "end": "(\\1)",
      "endCaptures": {
        "1": {
          "name": "punctuation.definition.string.end.tex"
        }
      },
      "name": "meta.math.block.tex support.class.math.block.tex",
      "patterns": [
        {
          "match": "\\\\\\$",
          "name": "constant.character.escape.tex"
        },
        {
          "include": "#math-content"
        },
        {
          "include": "$self"
        }
      ]
    },
    "iffalse-block": {
      "begin": "(?<=^\\s*)((\\\\)iffalse)(?!\\s*[{}]\\s*\\\\fi\\b)",
      "beginCaptures": {
        "1": {
          "name": "keyword.control.tex"
        },
        "2": {
          "name": "punctuation.definition.keyword.tex"
        }
      },
      "contentName": "comment.line.percentage.tex",
      "end": "((\\\\)(?:else|fi))\\b",
      "endCaptures": {
        "1": {
          "name": "keyword.control.tex"
        },
        "2": {
          "name": "punctuation.definition.keyword.tex"
        }
      },
      "patterns": [
        {
          "include": "#comment"
        },
        {
          "include": "#braces"
        },
        {
          "include": "#conditionals"
        }
      ]
    },
    "ifnextchar": {
      "match": "\\\\@ifnextchar[(\\[{]",
      "name": "keyword.control.ifnextchar.tex"
    },
    "macro-control": {
      "captures": {
        "1": {
          "name": "punctuation.definition.keyword.tex"
        }
      },
      "match": "(\\\\)(backmatter|csname|else|endcsname|fi|frontmatter|mainmatter|unless|if(case|cat|csname|defined|dim|eof|false|fontchar|hbox|hmode|inner|mmode|num|odd|true|vbox|vmode|void|x)?)(?![@-Za-z])",
      "name": "keyword.control.tex"
    },
    "macro-general": {
      "patterns": [
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.function.tex"
            }
          },
          "match": "(\\\\)_*[@\\p{Alphabetic}]+(?:_[@\\p{Alphabetic}]+)*:[DFNTVcefnopvwx]*",
          "name": "support.class.general.latex3.tex"
        },
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.function.tex"
            }
          },
          "match": "(\\.)[@\\p{Alphabetic}]+(?:_[@\\p{Alphabetic}]+)*:[DFNTVcefnopvwx]*",
          "name": "support.class.general.latex3.tex"
        },
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.function.tex"
            }
          },
          "match": "(\\\\)(?:[,;]|[@\\p{Alphabetic}]+)",
          "name": "support.function.general.tex"
        },
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.keyword.tex"
            }
          },
          "match": "(\\\\)[^@-Za-z]",
          "name": "constant.character.escape.tex"
        }
      ]
    },
    "math-content": {
      "patterns": [
        {
          "begin": "((\\\\)(?:text|mbox))(\\{)",
          "beginCaptures": {
            "1": {
              "name": "constant.other.math.tex"
            },
            "2": {
              "name": "punctuation.definition.function.tex"
            },
            "3": {
              "name": "punctuation.definition.arguments.begin.tex meta.text.normal.tex"
            }
          },
          "contentName": "meta.text.normal.tex",
          "end": "}",
          "endCaptures": {
            "0": {
              "name": "punctuation.definition.arguments.end.tex meta.text.normal.tex"
            }
          },
          "patterns": [
            {
              "include": "#math-content"
            },
            {
              "include": "$self"
            }
          ]
        },
        {
          "match": "\\\\[{}]",
          "name": "punctuation.math.bracket.pair.tex"
        },
        {
          "match": "\\\\(left|right|((bigg??|Bigg??)[lr]?))([]().<>\\[|]|\\\\[{|}]|\\\\[lr]?[Vv]ert|\\\\[lr]angle)",
          "name": "punctuation.math.bracket.pair.big.tex"
        },
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.constant.math.tex"
            }
          },
          "match": "(\\\\)(s(s(earrow|warrow|lash)|h(ort(downarrow|uparrow|parallel|leftarrow|rightarrow|mid)|arp)|tar|i(gma|m(eq)?)|u(cc(sim|n(sim|approx)|curlyeq|eq|approx)?|pset(neq(q)?|plus(eq)?|eq(q)?)?|rd|m|bset(neq(q)?|plus(eq)?|eq(q)?)?)|p(hericalangle|adesuit)|e(tminus|arrow)|q(su(pset(eq)?|bset(eq)?)|c([au]p)|uare)|warrow|m(ile|all(s(etminus|mile)|frown)))|h(slash|ook((?:lef|righ)tarrow)|eartsuit|bar)|R(sh|ightarrow|e|bag)|Gam(e|ma)|n(s(hort(parallel|mid)|im|u(cc(eq)?|pseteq(q)?|bseteq))|Rightarrow|n([ew]arrow)|cong|triangle(left(eq(slant)?)?|right(eq(slant)?)?)|i(plus)?|u|p(lus|arallel|rec(eq)?)|e(q|arrow|g|xists)|v([Dd]ash)|warrow|le(ss|q(slant|q)?|ft((?:|right)arrow))|a(tural|bla)|VDash|rightarrow|g(tr|eq(slant|q)?)|mid|Left((?:|right)arrow))|c(hi|irc(eq|le(d(circ|S|dash|ast)|arrow(left|right)))?|o(ng|prod|lon|mplement)|dot([ps])?|u(p|r(vearrow(left|right)|ly(eq(succ|prec)|vee((?:down|up)arrow)?|wedge((?:down|up)arrow)?)))|enterdot|lubsuit|ap)|Xi|Maps(to(char)?|from(char)?)|B(ox|umpeq|bbk)|t(h(ick(sim|approx)|e(ta|refore))|imes|op|wohead((?:lef|righ)tarrow)|a(u|lloblong)|riangle(down|q|left(eq(slant)?)?|right(eq(slant)?)?)?)|i(n(t(er(cal|leave))?|plus|fty)?|ota|math)|S(igma|u([bp]set))|zeta|o(slash|times|int|dot|plus|vee|wedge|lessthan|greaterthan|m(inus|ega)|b(slash|long|ar))|d(i(v(ideontimes)?|a(g(down|up)|mond(suit)?)|gamma)|o(t(plus|eq(dot)?)|ublebarwedge|wn(harpoon(left|right)|downarrows|arrow))|d(ots|agger)|elta|a(sh(v|leftarrow|rightarrow)|leth|gger))|Y(down|up|left|right)|C([au]p)|u(n([lr]hd)|p(silon|harpoon(left|right)|downarrow|uparrows|lus|arrow)|lcorner|rcorner)|jmath|Theta|Im|p(si|hi|i(tchfork)?|erp|ar(tial|allel)|r(ime|o(d|pto)|ec(sim|n(sim|approx)|curlyeq|eq|approx)?)|m)|e(t([ah])|psilon|q(slant(less|gtr)|circ|uiv)|ll|xists|mptyset)|Omega|D(iamond|ownarrow|elta)|v(d(ots|ash)|ee(bar)?|Dash|ar(s(igma|u(psetneq(q)?|bsetneq(q)?))|nothing|curly(vee|wedge)|t(heta|imes|riangle(left|right)?)|o(slash|circle|times|dot|plus|vee|wedge|lessthan|ast|greaterthan|minus|b(slash|ar))|p(hi|i|ropto)|epsilon|kappa|rho|bigcirc))|kappa|Up(silon|downarrow|arrow)|Join|f(orall|lat|a(t(s(emi|lash)|bslash)|llingdotseq)|rown)|P((?:s|h?)i)|w(p|edge|r)|l(hd|n(sim|eq(q)?|approx)|ceil|times|ightning|o(ng(left((?:|right)arrow)|rightarrow|maps(to|from))|zenge|oparrow(left|right))|dot([ps])|e(ss(sim|dot|eq(q?gtr)|approx|gtr)|q(slant|q)?|ft(slice|harpoon(down|up)|threetimes|leftarrows|arrow(t(ail|riangle))?|right(squigarrow|harpoons|arrow(s|triangle|eq)?))|adsto)|vertneqq|floor|l(c(orner|eil)|floor|l|bracket)?|a(ngle|mbda)|rcorner|bag)|a(s(ymp|t)|ngle|pprox(eq)?|l(pha|eph)|rrownot|malg)|V(v??dash)|r(h([do])|ceil|times|i(singdotseq|ght(s(quigarrow|lice)|harpoon(down|up)|threetimes|left(harpoons|arrows)|arrow(t(ail|riangle))?|rightarrows))|floor|angle|r(ceil|parenthesis|floor|bracket)|bag)|g(n(sim|eq(q)?|approx)|tr(sim|dot|eq(q?less)|less|approx)|imel|eq(slant|q)?|vertneqq|amma|g(g)?)|Finv|xi|m(ho|i(nuso|d)|o(o|dels)|u(ltimap)?|p|e(asuredangle|rge)|aps(to|from(char)?))|b(i(n(dnasrepma|ampersand)|g(s(tar|qc([au]p))|nplus|c(irc|u(p|rly(vee|wedge))|ap)|triangle(down|up)|interleave|o(times|dot|plus)|uplus|parallel|vee|wedge|box))|o(t|wtie|x(slash|circle|times|dot|plus|empty|ast|minus|b(slash|ox|ar)))|u(llet|mpeq)|e(cause|t(h|ween|a))|lack(square|triangle(down|left|right)?|lozenge)|a(ck(s(im(eq)?|lash)|prime|epsilon)|r(o|wedge))|bslash)|L(sh|ong(left((?:|right)arrow)|rightarrow|maps(to|from))|eft((?:|right)arrow)|leftarrow|ambda|bag)|ge|le|Arrownot)(?![@-Za-z])",
          "name": "constant.character.math.tex"
        },
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.constant.math.tex"
            }
          },
          "match": "(\\\\)(sum|prod|coprod|int|oint|bigcap|bigcup|bigsqcup|bigvee|bigwedge|bigodot|bigotimes|bogoplus|biguplus)\\b",
          "name": "constant.character.math.tex"
        },
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.constant.math.tex"
            }
          },
          "match": "(\\\\)(arccos|arcsin|arctan|arg|cosh??|coth??|csc|deg|det|dim|exp|gcd|hom|inf|ker|lg|lim|liminf|limsup|ln|log|max|min|pr|sec|sinh??|sup|tanh??)\\b",
          "name": "constant.other.math.tex"
        },
        {
          "begin": "((\\\\)Sexpr(\\{))",
          "beginCaptures": {
            "1": {
              "name": "support.function.sexpr.math.tex"
            },
            "2": {
              "name": "punctuation.definition.function.math.tex"
            },
            "3": {
              "name": "punctuation.section.embedded.begin.math.tex"
            }
          },
          "contentName": "support.function.sexpr.math.tex",
          "end": "(((})))",
          "endCaptures": {
            "1": {
              "name": "support.function.sexpr.math.tex"
            },
            "2": {
              "name": "punctuation.section.embedded.end.math.tex"
            },
            "3": {
              "name": "source.r"
            }
          },
          "name": "meta.embedded.line.r",
          "patterns": [
            {
              "begin": "\\G(?!})",
              "end": "(?=})",
              "name": "source.r",
              "patterns": [
                {
                  "include": "source.r"
                }
              ]
            }
          ]
        },
        {
          "captures": {
            "1": {
              "name": "punctuation.definition.constant.math.tex"
            }
          },
          "match": "(\\\\)(?!begin\\{|verb)([A-Za-z]+)",
          "name": "constant.other.general.math.tex"
        },
        {
          "match": "(?<!\\\\)\\{",
          "name": "punctuation.math.begin.bracket.curly.tex"
        },
        {
          "match": "(?<!\\\\)}",
          "name": "punctuation.math.end.bracket.curly.tex"
        },
        {
          "match": "(?<!\\\\)\\(",
          "name": "punctuation.math.begin.bracket.round.tex"
        },
        {
          "match": "(?<!\\\\)\\)",
          "name": "punctuation.math.end.bracket.round.tex"
        },
        {
          "match": "(([0-9]*\\.[0-9]+)|[0-9]+)",
          "name": "constant.numeric.math.tex"
        },
        {
          "match": "[-*+/]|(?<!\\^)\\^(?!\\^)|(?<!_)_(?!_)",
          "name": "punctuation.math.operator.tex"
        }
      ]
    }
  },
  "scopeName": "text.tex"
}|json}