katex-parser 0.1.0

A port of the KaTeX parser: lexing and parsing LaTeX math expressions with macro expansion into a typed AST, plus a Unicode rendering backend
Documentation
use std::collections::HashMap;

use crate::macro_definition::MacroDefinition;

pub(crate) fn builtin_static_macros() -> HashMap<String, MacroDefinition> {
    HashMap::from([
    ("\\@ifstar".to_string(), MacroDefinition::text("\\@ifnextchar *{\\@firstoftwo{#1}}".to_string())),
    ("\\operatorname".to_string(), MacroDefinition::text("\\@ifstar\\operatornamewithlimits\\operatorname@".to_string())),
    ("\\hphantom".to_string(), MacroDefinition::text("\\smash{\\phantom{#1}}".to_string())),
    ("\\bgroup".to_string(), MacroDefinition::text("{".to_string())),
    ("\\egroup".to_string(), MacroDefinition::text("}".to_string())),
    ("~".to_string(), MacroDefinition::text("\\nobreakspace".to_string())),
    ("\\lq".to_string(), MacroDefinition::text("`".to_string())),
    ("\\rq".to_string(), MacroDefinition::text("'".to_string())),
    ("\\aa".to_string(), MacroDefinition::text("\\r a".to_string())),
    ("\\AA".to_string(), MacroDefinition::text("\\r A".to_string())),
    ("\\textcopyright".to_string(), MacroDefinition::text("\\html@mathml{\\textcircled{c}}{\\char`\u{A9}}".to_string())),
    ("\\copyright".to_string(), MacroDefinition::text("\\TextOrMath{\\textcopyright}{\\text{\\textcopyright}}".to_string())),
    ("\\textregistered".to_string(), MacroDefinition::text("\\html@mathml{\\textcircled{\\scriptsize R}}{\\char`\u{AE}}".to_string())),
    ("\u{212C}".to_string(), MacroDefinition::text("\\mathscr{B}".to_string())),
    ("\u{2130}".to_string(), MacroDefinition::text("\\mathscr{E}".to_string())),
    ("\u{2131}".to_string(), MacroDefinition::text("\\mathscr{F}".to_string())),
    ("\u{210B}".to_string(), MacroDefinition::text("\\mathscr{H}".to_string())),
    ("\u{2110}".to_string(), MacroDefinition::text("\\mathscr{I}".to_string())),
    ("\u{2112}".to_string(), MacroDefinition::text("\\mathscr{L}".to_string())),
    ("\u{2133}".to_string(), MacroDefinition::text("\\mathscr{M}".to_string())),
    ("\u{211B}".to_string(), MacroDefinition::text("\\mathscr{R}".to_string())),
    ("\u{212D}".to_string(), MacroDefinition::text("\\mathfrak{C}".to_string())),
    ("\u{210C}".to_string(), MacroDefinition::text("\\mathfrak{H}".to_string())),
    ("\u{2128}".to_string(), MacroDefinition::text("\\mathfrak{Z}".to_string())),
    ("\\Bbbk".to_string(), MacroDefinition::text("\\Bbb{k}".to_string())),
    ("\\llap".to_string(), MacroDefinition::text("\\mathllap{\\textrm{#1}}".to_string())),
    ("\\rlap".to_string(), MacroDefinition::text("\\mathrlap{\\textrm{#1}}".to_string())),
    ("\\clap".to_string(), MacroDefinition::text("\\mathclap{\\textrm{#1}}".to_string())),
    ("\\mathstrut".to_string(), MacroDefinition::text("\\vphantom{(}".to_string())),
    ("\\underbar".to_string(), MacroDefinition::text("\\underline{\\text{#1}}".to_string())),
    ("\\not".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\mathrlap\\@not}\\nobreak}{\\char\"338}".to_string())),
    ("\\neq".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\not=}}{\\mathrel{\\char`\u{2260}}}".to_string())),
    ("\\ne".to_string(), MacroDefinition::text("\\neq".to_string())),
    ("\u{2260}".to_string(), MacroDefinition::text("\\neq".to_string())),
    ("\\notin".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{{\\in}\\mathllap{/\\mskip1mu}}}{\\mathrel{\\char`\u{2209}}}".to_string())),
    ("\u{2209}".to_string(), MacroDefinition::text("\\notin".to_string())),
    ("\u{2258}".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{=\\kern{-1em}\\raisebox{0.4em}{$\\scriptsize\\frown$}}}{\\mathrel{\\char`\u{2258}}}".to_string())),
    ("\u{2259}".to_string(), MacroDefinition::text("\\html@mathml{\\stackrel{\\tiny\\wedge}{=}}{\\mathrel{\\char`\u{2258}}}".to_string())),
    ("\u{225A}".to_string(), MacroDefinition::text("\\html@mathml{\\stackrel{\\tiny\\vee}{=}}{\\mathrel{\\char`\u{225A}}}".to_string())),
    ("\u{225B}".to_string(), MacroDefinition::text("\\html@mathml{\\stackrel{\\scriptsize\\star}{=}}{\\mathrel{\\char`\u{225B}}}".to_string())),
    ("\u{225D}".to_string(), MacroDefinition::text("\\html@mathml{\\stackrel{\\tiny\\mathrm{def}}{=}}{\\mathrel{\\char`\u{225D}}}".to_string())),
    ("\u{225E}".to_string(), MacroDefinition::text("\\html@mathml{\\stackrel{\\tiny\\mathrm{m}}{=}}{\\mathrel{\\char`\u{225E}}}".to_string())),
    ("\u{225F}".to_string(), MacroDefinition::text("\\html@mathml{\\stackrel{\\tiny?}{=}}{\\mathrel{\\char`\u{225F}}}".to_string())),
    ("\u{27C2}".to_string(), MacroDefinition::text("\\perp".to_string())),
    ("\u{203C}".to_string(), MacroDefinition::text("\\mathclose{!\\mkern-0.8mu!}".to_string())),
    ("\u{220C}".to_string(), MacroDefinition::text("\\notni".to_string())),
    ("\u{231C}".to_string(), MacroDefinition::text("\\ulcorner".to_string())),
    ("\u{231D}".to_string(), MacroDefinition::text("\\urcorner".to_string())),
    ("\u{231E}".to_string(), MacroDefinition::text("\\llcorner".to_string())),
    ("\u{231F}".to_string(), MacroDefinition::text("\\lrcorner".to_string())),
    ("\u{A9}".to_string(), MacroDefinition::text("\\copyright".to_string())),
    ("\u{AE}".to_string(), MacroDefinition::text("\\textregistered".to_string())),
    ("\\ulcorner".to_string(), MacroDefinition::text("\\html@mathml{\\@ulcorner}{\\mathop{\\char\"231c}}".to_string())),
    ("\\urcorner".to_string(), MacroDefinition::text("\\html@mathml{\\@urcorner}{\\mathop{\\char\"231d}}".to_string())),
    ("\\llcorner".to_string(), MacroDefinition::text("\\html@mathml{\\@llcorner}{\\mathop{\\char\"231e}}".to_string())),
    ("\\lrcorner".to_string(), MacroDefinition::text("\\html@mathml{\\@lrcorner}{\\mathop{\\char\"231f}}".to_string())),
    ("\\vdots".to_string(), MacroDefinition::text("{\\varvdots\\rule{0pt}{15pt}}".to_string())),
    ("\u{22EE}".to_string(), MacroDefinition::text("\\vdots".to_string())),
    ("\\varGamma".to_string(), MacroDefinition::text("\\mathit{\\Gamma}".to_string())),
    ("\\varDelta".to_string(), MacroDefinition::text("\\mathit{\\Delta}".to_string())),
    ("\\varTheta".to_string(), MacroDefinition::text("\\mathit{\\Theta}".to_string())),
    ("\\varLambda".to_string(), MacroDefinition::text("\\mathit{\\Lambda}".to_string())),
    ("\\varXi".to_string(), MacroDefinition::text("\\mathit{\\Xi}".to_string())),
    ("\\varPi".to_string(), MacroDefinition::text("\\mathit{\\Pi}".to_string())),
    ("\\varSigma".to_string(), MacroDefinition::text("\\mathit{\\Sigma}".to_string())),
    ("\\varUpsilon".to_string(), MacroDefinition::text("\\mathit{\\Upsilon}".to_string())),
    ("\\varPhi".to_string(), MacroDefinition::text("\\mathit{\\Phi}".to_string())),
    ("\\varPsi".to_string(), MacroDefinition::text("\\mathit{\\Psi}".to_string())),
    ("\\varOmega".to_string(), MacroDefinition::text("\\mathit{\\Omega}".to_string())),
    ("\\substack".to_string(), MacroDefinition::text("\\begin{subarray}{c}#1\\end{subarray}".to_string())),
    ("\\colon".to_string(), MacroDefinition::text("\\nobreak\\mskip2mu\\mathpunct{}\\mathchoice{\\mkern-3mu}{\\mkern-3mu}{}{}{:}\\mskip6mu\\relax".to_string())),
    ("\\boxed".to_string(), MacroDefinition::text("\\fbox{$\\displaystyle{#1}$}".to_string())),
    ("\\iff".to_string(), MacroDefinition::text("\\DOTSB\\;\\Longleftrightarrow\\;".to_string())),
    ("\\implies".to_string(), MacroDefinition::text("\\DOTSB\\;\\Longrightarrow\\;".to_string())),
    ("\\impliedby".to_string(), MacroDefinition::text("\\DOTSB\\;\\Longleftarrow\\;".to_string())),
    ("\\dddot".to_string(), MacroDefinition::text("{\\overset{\\raisebox{-0.1ex}{\\normalsize ...}}{#1}}".to_string())),
    ("\\ddddot".to_string(), MacroDefinition::text("{\\overset{\\raisebox{-0.1ex}{\\normalsize ....}}{#1}}".to_string())),
    ("\\dotsb".to_string(), MacroDefinition::text("\\cdots".to_string())),
    ("\\dotsm".to_string(), MacroDefinition::text("\\cdots".to_string())),
    ("\\dotsi".to_string(), MacroDefinition::text("\\!\\cdots".to_string())),
    ("\\dotsx".to_string(), MacroDefinition::text("\\ldots\\,".to_string())),
    ("\\DOTSI".to_string(), MacroDefinition::text("\\relax".to_string())),
    ("\\DOTSB".to_string(), MacroDefinition::text("\\relax".to_string())),
    ("\\DOTSX".to_string(), MacroDefinition::text("\\relax".to_string())),
    ("\\tmspace".to_string(), MacroDefinition::text("\\TextOrMath{\\kern#1#3}{\\mskip#1#2}\\relax".to_string())),
    ("\\,".to_string(), MacroDefinition::text("\\tmspace+{3mu}{.1667em}".to_string())),
    ("\\thinspace".to_string(), MacroDefinition::text("\\,".to_string())),
    ("\\>".to_string(), MacroDefinition::text("\\mskip{4mu}".to_string())),
    ("\\:".to_string(), MacroDefinition::text("\\tmspace+{4mu}{.2222em}".to_string())),
    ("\\medspace".to_string(), MacroDefinition::text("\\:".to_string())),
    ("\\;".to_string(), MacroDefinition::text("\\tmspace+{5mu}{.2777em}".to_string())),
    ("\\thickspace".to_string(), MacroDefinition::text("\\;".to_string())),
    ("\\!".to_string(), MacroDefinition::text("\\tmspace-{3mu}{.1667em}".to_string())),
    ("\\negthinspace".to_string(), MacroDefinition::text("\\!".to_string())),
    ("\\negmedspace".to_string(), MacroDefinition::text("\\tmspace-{4mu}{.2222em}".to_string())),
    ("\\negthickspace".to_string(), MacroDefinition::text("\\tmspace-{5mu}{.277em}".to_string())),
    ("\\enspace".to_string(), MacroDefinition::text("\\kern.5em ".to_string())),
    ("\\enskip".to_string(), MacroDefinition::text("\\hskip.5em\\relax".to_string())),
    ("\\quad".to_string(), MacroDefinition::text("\\hskip1em\\relax".to_string())),
    ("\\qquad".to_string(), MacroDefinition::text("\\hskip2em\\relax".to_string())),
    ("\\tag".to_string(), MacroDefinition::text("\\@ifstar\\tag@literal\\tag@paren".to_string())),
    ("\\tag@paren".to_string(), MacroDefinition::text("\\tag@literal{({#1})}".to_string())),
    ("\\bmod".to_string(), MacroDefinition::text("\\mathchoice{\\mskip1mu}{\\mskip1mu}{\\mskip5mu}{\\mskip5mu}\\mathbin{\\rm mod}\\mathchoice{\\mskip1mu}{\\mskip1mu}{\\mskip5mu}{\\mskip5mu}".to_string())),
    ("\\pod".to_string(), MacroDefinition::text("\\allowbreak\\mathchoice{\\mkern18mu}{\\mkern8mu}{\\mkern8mu}{\\mkern8mu}(#1)".to_string())),
    ("\\pmod".to_string(), MacroDefinition::text("\\pod{{\\rm mod}\\mkern6mu#1}".to_string())),
    ("\\mod".to_string(), MacroDefinition::text("\\allowbreak\\mathchoice{\\mkern18mu}{\\mkern12mu}{\\mkern12mu}{\\mkern12mu}{\\rm mod}\\,\\,#1".to_string())),
    ("\\newline".to_string(), MacroDefinition::text("\\\\\\relax".to_string())),
    ("\\TeX".to_string(), MacroDefinition::text("\\textrm{\\html@mathml{T\\kern-.1667em\\raisebox{-.5ex}{E}\\kern-.125emX}{TeX}}".to_string())),
    ("\\LaTeX".to_string(), MacroDefinition::text("\\textrm{\\html@mathml{L\\kern-.36em\\raisebox{0.205em}{\\scriptstyle A}\\kern-.15em\\TeX}{LaTeX}}".to_string())),
    ("\\KaTeX".to_string(), MacroDefinition::text("\\textrm{\\html@mathml{K\\kern-.17em\\raisebox{0.205em}{\\scriptstyle A}\\kern-.15em\\TeX}{KaTeX}}".to_string())),
    ("\\hspace".to_string(), MacroDefinition::text("\\@ifstar\\@hspacer\\@hspace".to_string())),
    ("\\@hspace".to_string(), MacroDefinition::text("\\hskip #1\\relax".to_string())),
    ("\\@hspacer".to_string(), MacroDefinition::text("\\rule{0pt}{0pt}\\hskip #1\\relax".to_string())),
    ("\\ordinarycolon".to_string(), MacroDefinition::text(":".to_string())),
    ("\\vcentcolon".to_string(), MacroDefinition::text("\\mathrel{\\mathop\\ordinarycolon}".to_string())),
    ("\\dblcolon".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\vcentcolon\\mathrel{\\mkern-.9mu}\\vcentcolon}}{\\mathop{\\char\"2237}}".to_string())),
    ("\\coloneqq".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\vcentcolon\\mathrel{\\mkern-1.2mu}=}}{\\mathop{\\char\"2254}}".to_string())),
    ("\\Coloneqq".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\dblcolon\\mathrel{\\mkern-1.2mu}=}}{\\mathop{\\char\"2237\\char\"3d}}".to_string())),
    ("\\coloneq".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\vcentcolon\\mathrel{\\mkern-1.2mu}\\mathrel{-}}}{\\mathop{\\char\"3a\\char\"2212}}".to_string())),
    ("\\Coloneq".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\dblcolon\\mathrel{\\mkern-1.2mu}\\mathrel{-}}}{\\mathop{\\char\"2237\\char\"2212}}".to_string())),
    ("\\eqqcolon".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{=\\mathrel{\\mkern-1.2mu}\\vcentcolon}}{\\mathop{\\char\"2255}}".to_string())),
    ("\\Eqqcolon".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{=\\mathrel{\\mkern-1.2mu}\\dblcolon}}{\\mathop{\\char\"3d\\char\"2237}}".to_string())),
    ("\\eqcolon".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\mathrel{-}\\mathrel{\\mkern-1.2mu}\\vcentcolon}}{\\mathop{\\char\"2239}}".to_string())),
    ("\\Eqcolon".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\mathrel{-}\\mathrel{\\mkern-1.2mu}\\dblcolon}}{\\mathop{\\char\"2212\\char\"2237}}".to_string())),
    ("\\colonapprox".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\vcentcolon\\mathrel{\\mkern-1.2mu}\\approx}}{\\mathop{\\char\"3a\\char\"2248}}".to_string())),
    ("\\Colonapprox".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\dblcolon\\mathrel{\\mkern-1.2mu}\\approx}}{\\mathop{\\char\"2237\\char\"2248}}".to_string())),
    ("\\colonsim".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\vcentcolon\\mathrel{\\mkern-1.2mu}\\sim}}{\\mathop{\\char\"3a\\char\"223c}}".to_string())),
    ("\\Colonsim".to_string(), MacroDefinition::text("\\html@mathml{\\mathrel{\\dblcolon\\mathrel{\\mkern-1.2mu}\\sim}}{\\mathop{\\char\"2237\\char\"223c}}".to_string())),
    ("\u{2237}".to_string(), MacroDefinition::text("\\dblcolon".to_string())),
    ("\u{2239}".to_string(), MacroDefinition::text("\\eqcolon".to_string())),
    ("\u{2254}".to_string(), MacroDefinition::text("\\coloneqq".to_string())),
    ("\u{2255}".to_string(), MacroDefinition::text("\\eqqcolon".to_string())),
    ("\u{2A74}".to_string(), MacroDefinition::text("\\Coloneqq".to_string())),
    ("\\ratio".to_string(), MacroDefinition::text("\\vcentcolon".to_string())),
    ("\\coloncolon".to_string(), MacroDefinition::text("\\dblcolon".to_string())),
    ("\\colonequals".to_string(), MacroDefinition::text("\\coloneqq".to_string())),
    ("\\coloncolonequals".to_string(), MacroDefinition::text("\\Coloneqq".to_string())),
    ("\\equalscolon".to_string(), MacroDefinition::text("\\eqqcolon".to_string())),
    ("\\equalscoloncolon".to_string(), MacroDefinition::text("\\Eqqcolon".to_string())),
    ("\\colonminus".to_string(), MacroDefinition::text("\\coloneq".to_string())),
    ("\\coloncolonminus".to_string(), MacroDefinition::text("\\Coloneq".to_string())),
    ("\\minuscolon".to_string(), MacroDefinition::text("\\eqcolon".to_string())),
    ("\\minuscoloncolon".to_string(), MacroDefinition::text("\\Eqcolon".to_string())),
    ("\\coloncolonapprox".to_string(), MacroDefinition::text("\\Colonapprox".to_string())),
    ("\\coloncolonsim".to_string(), MacroDefinition::text("\\Colonsim".to_string())),
    ("\\simcolon".to_string(), MacroDefinition::text("\\mathrel{\\sim\\mathrel{\\mkern-1.2mu}\\vcentcolon}".to_string())),
    ("\\simcoloncolon".to_string(), MacroDefinition::text("\\mathrel{\\sim\\mathrel{\\mkern-1.2mu}\\dblcolon}".to_string())),
    ("\\approxcolon".to_string(), MacroDefinition::text("\\mathrel{\\approx\\mathrel{\\mkern-1.2mu}\\vcentcolon}".to_string())),
    ("\\approxcoloncolon".to_string(), MacroDefinition::text("\\mathrel{\\approx\\mathrel{\\mkern-1.2mu}\\dblcolon}".to_string())),
    ("\\notni".to_string(), MacroDefinition::text("\\html@mathml{\\not\\ni}{\\mathrel{\\char`\u{220C}}}".to_string())),
    ("\\limsup".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{lim\\,sup}".to_string())),
    ("\\liminf".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{lim\\,inf}".to_string())),
    ("\\injlim".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{inj\\,lim}".to_string())),
    ("\\projlim".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{proj\\,lim}".to_string())),
    ("\\varlimsup".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{\\overline{lim}}".to_string())),
    ("\\varliminf".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{\\underline{lim}}".to_string())),
    ("\\varinjlim".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{\\underrightarrow{lim}}".to_string())),
    ("\\varprojlim".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{\\underleftarrow{lim}}".to_string())),
    ("\\gvertneqq".to_string(), MacroDefinition::text("\\html@mathml{\\@gvertneqq}{\u{2269}}".to_string())),
    ("\\lvertneqq".to_string(), MacroDefinition::text("\\html@mathml{\\@lvertneqq}{\u{2268}}".to_string())),
    ("\\ngeqq".to_string(), MacroDefinition::text("\\html@mathml{\\@ngeqq}{\u{2271}}".to_string())),
    ("\\ngeqslant".to_string(), MacroDefinition::text("\\html@mathml{\\@ngeqslant}{\u{2271}}".to_string())),
    ("\\nleqq".to_string(), MacroDefinition::text("\\html@mathml{\\@nleqq}{\u{2270}}".to_string())),
    ("\\nleqslant".to_string(), MacroDefinition::text("\\html@mathml{\\@nleqslant}{\u{2270}}".to_string())),
    ("\\nshortmid".to_string(), MacroDefinition::text("\\html@mathml{\\@nshortmid}{\u{2224}}".to_string())),
    ("\\nshortparallel".to_string(), MacroDefinition::text("\\html@mathml{\\@nshortparallel}{\u{2226}}".to_string())),
    ("\\nsubseteqq".to_string(), MacroDefinition::text("\\html@mathml{\\@nsubseteqq}{\u{2288}}".to_string())),
    ("\\nsupseteqq".to_string(), MacroDefinition::text("\\html@mathml{\\@nsupseteqq}{\u{2289}}".to_string())),
    ("\\varsubsetneq".to_string(), MacroDefinition::text("\\html@mathml{\\@varsubsetneq}{\u{228A}}".to_string())),
    ("\\varsubsetneqq".to_string(), MacroDefinition::text("\\html@mathml{\\@varsubsetneqq}{\u{2ACB}}".to_string())),
    ("\\varsupsetneq".to_string(), MacroDefinition::text("\\html@mathml{\\@varsupsetneq}{\u{228B}}".to_string())),
    ("\\varsupsetneqq".to_string(), MacroDefinition::text("\\html@mathml{\\@varsupsetneqq}{\u{2ACC}}".to_string())),
    ("\\imath".to_string(), MacroDefinition::text("\\html@mathml{\\@imath}{\u{131}}".to_string())),
    ("\\jmath".to_string(), MacroDefinition::text("\\html@mathml{\\@jmath}{\u{237}}".to_string())),
    ("\\llbracket".to_string(), MacroDefinition::text("\\html@mathml{\\mathopen{[\\mkern-3.2mu[}}{\\mathopen{\\char`\u{27E6}}}".to_string())),
    ("\\rrbracket".to_string(), MacroDefinition::text("\\html@mathml{\\mathclose{]\\mkern-3.2mu]}}{\\mathclose{\\char`\u{27E7}}}".to_string())),
    ("\u{27E6}".to_string(), MacroDefinition::text("\\llbracket".to_string())),
    ("\u{27E7}".to_string(), MacroDefinition::text("\\rrbracket".to_string())),
    ("\\lBrace".to_string(), MacroDefinition::text("\\html@mathml{\\mathopen{\\{\\mkern-3.2mu[}}{\\mathopen{\\char`\u{2983}}}".to_string())),
    ("\\rBrace".to_string(), MacroDefinition::text("\\html@mathml{\\mathclose{]\\mkern-3.2mu\\}}}{\\mathclose{\\char`\u{2984}}}".to_string())),
    ("\u{2983}".to_string(), MacroDefinition::text("\\lBrace".to_string())),
    ("\u{2984}".to_string(), MacroDefinition::text("\\rBrace".to_string())),
    ("\\minuso".to_string(), MacroDefinition::text("\\mathbin{\\html@mathml{{\\mathrlap{\\mathchoice{\\kern{0.145em}}{\\kern{0.145em}}{\\kern{0.1015em}}{\\kern{0.0725em}}\\circ}{-}}}{\\char`\u{29B5}}}".to_string())),
    ("\u{29B5}".to_string(), MacroDefinition::text("\\minuso".to_string())),
    ("\\darr".to_string(), MacroDefinition::text("\\downarrow".to_string())),
    ("\\dArr".to_string(), MacroDefinition::text("\\Downarrow".to_string())),
    ("\\Darr".to_string(), MacroDefinition::text("\\Downarrow".to_string())),
    ("\\lang".to_string(), MacroDefinition::text("\\langle".to_string())),
    ("\\rang".to_string(), MacroDefinition::text("\\rangle".to_string())),
    ("\\uarr".to_string(), MacroDefinition::text("\\uparrow".to_string())),
    ("\\uArr".to_string(), MacroDefinition::text("\\Uparrow".to_string())),
    ("\\Uarr".to_string(), MacroDefinition::text("\\Uparrow".to_string())),
    ("\\N".to_string(), MacroDefinition::text("\\mathbb{N}".to_string())),
    ("\\R".to_string(), MacroDefinition::text("\\mathbb{R}".to_string())),
    ("\\Z".to_string(), MacroDefinition::text("\\mathbb{Z}".to_string())),
    ("\\alef".to_string(), MacroDefinition::text("\\aleph".to_string())),
    ("\\alefsym".to_string(), MacroDefinition::text("\\aleph".to_string())),
    ("\\Alpha".to_string(), MacroDefinition::text("\\mathrm{A}".to_string())),
    ("\\Beta".to_string(), MacroDefinition::text("\\mathrm{B}".to_string())),
    ("\\bull".to_string(), MacroDefinition::text("\\bullet".to_string())),
    ("\\Chi".to_string(), MacroDefinition::text("\\mathrm{X}".to_string())),
    ("\\clubs".to_string(), MacroDefinition::text("\\clubsuit".to_string())),
    ("\\cnums".to_string(), MacroDefinition::text("\\mathbb{C}".to_string())),
    ("\\Complex".to_string(), MacroDefinition::text("\\mathbb{C}".to_string())),
    ("\\Dagger".to_string(), MacroDefinition::text("\\ddagger".to_string())),
    ("\\diamonds".to_string(), MacroDefinition::text("\\diamondsuit".to_string())),
    ("\\empty".to_string(), MacroDefinition::text("\\emptyset".to_string())),
    ("\\Epsilon".to_string(), MacroDefinition::text("\\mathrm{E}".to_string())),
    ("\\Eta".to_string(), MacroDefinition::text("\\mathrm{H}".to_string())),
    ("\\exist".to_string(), MacroDefinition::text("\\exists".to_string())),
    ("\\harr".to_string(), MacroDefinition::text("\\leftrightarrow".to_string())),
    ("\\hArr".to_string(), MacroDefinition::text("\\Leftrightarrow".to_string())),
    ("\\Harr".to_string(), MacroDefinition::text("\\Leftrightarrow".to_string())),
    ("\\hearts".to_string(), MacroDefinition::text("\\heartsuit".to_string())),
    ("\\image".to_string(), MacroDefinition::text("\\Im".to_string())),
    ("\\infin".to_string(), MacroDefinition::text("\\infty".to_string())),
    ("\\Iota".to_string(), MacroDefinition::text("\\mathrm{I}".to_string())),
    ("\\isin".to_string(), MacroDefinition::text("\\in".to_string())),
    ("\\Kappa".to_string(), MacroDefinition::text("\\mathrm{K}".to_string())),
    ("\\larr".to_string(), MacroDefinition::text("\\leftarrow".to_string())),
    ("\\lArr".to_string(), MacroDefinition::text("\\Leftarrow".to_string())),
    ("\\Larr".to_string(), MacroDefinition::text("\\Leftarrow".to_string())),
    ("\\lrarr".to_string(), MacroDefinition::text("\\leftrightarrow".to_string())),
    ("\\lrArr".to_string(), MacroDefinition::text("\\Leftrightarrow".to_string())),
    ("\\Lrarr".to_string(), MacroDefinition::text("\\Leftrightarrow".to_string())),
    ("\\Mu".to_string(), MacroDefinition::text("\\mathrm{M}".to_string())),
    ("\\natnums".to_string(), MacroDefinition::text("\\mathbb{N}".to_string())),
    ("\\Nu".to_string(), MacroDefinition::text("\\mathrm{N}".to_string())),
    ("\\Omicron".to_string(), MacroDefinition::text("\\mathrm{O}".to_string())),
    ("\\plusmn".to_string(), MacroDefinition::text("\\pm".to_string())),
    ("\\rarr".to_string(), MacroDefinition::text("\\rightarrow".to_string())),
    ("\\rArr".to_string(), MacroDefinition::text("\\Rightarrow".to_string())),
    ("\\Rarr".to_string(), MacroDefinition::text("\\Rightarrow".to_string())),
    ("\\real".to_string(), MacroDefinition::text("\\Re".to_string())),
    ("\\reals".to_string(), MacroDefinition::text("\\mathbb{R}".to_string())),
    ("\\Reals".to_string(), MacroDefinition::text("\\mathbb{R}".to_string())),
    ("\\Rho".to_string(), MacroDefinition::text("\\mathrm{P}".to_string())),
    ("\\sdot".to_string(), MacroDefinition::text("\\cdot".to_string())),
    ("\\sect".to_string(), MacroDefinition::text("\\S".to_string())),
    ("\\spades".to_string(), MacroDefinition::text("\\spadesuit".to_string())),
    ("\\sub".to_string(), MacroDefinition::text("\\subset".to_string())),
    ("\\sube".to_string(), MacroDefinition::text("\\subseteq".to_string())),
    ("\\supe".to_string(), MacroDefinition::text("\\supseteq".to_string())),
    ("\\Tau".to_string(), MacroDefinition::text("\\mathrm{T}".to_string())),
    ("\\thetasym".to_string(), MacroDefinition::text("\\vartheta".to_string())),
    ("\\weierp".to_string(), MacroDefinition::text("\\wp".to_string())),
    ("\\Zeta".to_string(), MacroDefinition::text("\\mathrm{Z}".to_string())),
    ("\\argmin".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{arg\\,min}".to_string())),
    ("\\argmax".to_string(), MacroDefinition::text("\\DOTSB\\operatorname*{arg\\,max}".to_string())),
    ("\\plim".to_string(), MacroDefinition::text("\\DOTSB\\mathop{\\operatorname{plim}}\\limits".to_string())),
    ("\\bra".to_string(), MacroDefinition::text("\\mathinner{\\langle{#1}|}".to_string())),
    ("\\ket".to_string(), MacroDefinition::text("\\mathinner{|{#1}\\rangle}".to_string())),
    ("\\braket".to_string(), MacroDefinition::text("\\mathinner{\\langle{#1}\\rangle}".to_string())),
    ("\\Bra".to_string(), MacroDefinition::text("\\left\\langle#1\\right|".to_string())),
    ("\\Ket".to_string(), MacroDefinition::text("\\left|#1\\right\\rangle".to_string())),
    ("\\Braket".to_string(), MacroDefinition::text("\\bra@ket{\\left\\langle}{\\,\\middle\\vert\\,}{\\,\\middle\\vert\\,}{\\right\\rangle}".to_string())),
    ("\\Set".to_string(), MacroDefinition::text("\\bra@set{\\left\\{\\:}{\\;\\middle\\vert\\;}{\\;\\middle\\Vert\\;}{\\:\\right\\}}".to_string())),
    ("\\set".to_string(), MacroDefinition::text("\\bra@set{\\{\\,}{\\mid}{}{\\,\\}}".to_string())),
    ("\\angln".to_string(), MacroDefinition::text("{\\angl n}".to_string())),
    ("\\blue".to_string(), MacroDefinition::text("\\textcolor{##6495ed}{#1}".to_string())),
    ("\\orange".to_string(), MacroDefinition::text("\\textcolor{##ffa500}{#1}".to_string())),
    ("\\pink".to_string(), MacroDefinition::text("\\textcolor{##ff00af}{#1}".to_string())),
    ("\\red".to_string(), MacroDefinition::text("\\textcolor{##df0030}{#1}".to_string())),
    ("\\green".to_string(), MacroDefinition::text("\\textcolor{##28ae7b}{#1}".to_string())),
    ("\\gray".to_string(), MacroDefinition::text("\\textcolor{gray}{#1}".to_string())),
    ("\\purple".to_string(), MacroDefinition::text("\\textcolor{##9d38bd}{#1}".to_string())),
    ("\\blueA".to_string(), MacroDefinition::text("\\textcolor{##ccfaff}{#1}".to_string())),
    ("\\blueB".to_string(), MacroDefinition::text("\\textcolor{##80f6ff}{#1}".to_string())),
    ("\\blueC".to_string(), MacroDefinition::text("\\textcolor{##63d9ea}{#1}".to_string())),
    ("\\blueD".to_string(), MacroDefinition::text("\\textcolor{##11accd}{#1}".to_string())),
    ("\\blueE".to_string(), MacroDefinition::text("\\textcolor{##0c7f99}{#1}".to_string())),
    ("\\tealA".to_string(), MacroDefinition::text("\\textcolor{##94fff5}{#1}".to_string())),
    ("\\tealB".to_string(), MacroDefinition::text("\\textcolor{##26edd5}{#1}".to_string())),
    ("\\tealC".to_string(), MacroDefinition::text("\\textcolor{##01d1c1}{#1}".to_string())),
    ("\\tealD".to_string(), MacroDefinition::text("\\textcolor{##01a995}{#1}".to_string())),
    ("\\tealE".to_string(), MacroDefinition::text("\\textcolor{##208170}{#1}".to_string())),
    ("\\greenA".to_string(), MacroDefinition::text("\\textcolor{##b6ffb0}{#1}".to_string())),
    ("\\greenB".to_string(), MacroDefinition::text("\\textcolor{##8af281}{#1}".to_string())),
    ("\\greenC".to_string(), MacroDefinition::text("\\textcolor{##74cf70}{#1}".to_string())),
    ("\\greenD".to_string(), MacroDefinition::text("\\textcolor{##1fab54}{#1}".to_string())),
    ("\\greenE".to_string(), MacroDefinition::text("\\textcolor{##0d923f}{#1}".to_string())),
    ("\\goldA".to_string(), MacroDefinition::text("\\textcolor{##ffd0a9}{#1}".to_string())),
    ("\\goldB".to_string(), MacroDefinition::text("\\textcolor{##ffbb71}{#1}".to_string())),
    ("\\goldC".to_string(), MacroDefinition::text("\\textcolor{##ff9c39}{#1}".to_string())),
    ("\\goldD".to_string(), MacroDefinition::text("\\textcolor{##e07d10}{#1}".to_string())),
    ("\\goldE".to_string(), MacroDefinition::text("\\textcolor{##a75a05}{#1}".to_string())),
    ("\\redA".to_string(), MacroDefinition::text("\\textcolor{##fca9a9}{#1}".to_string())),
    ("\\redB".to_string(), MacroDefinition::text("\\textcolor{##ff8482}{#1}".to_string())),
    ("\\redC".to_string(), MacroDefinition::text("\\textcolor{##f9685d}{#1}".to_string())),
    ("\\redD".to_string(), MacroDefinition::text("\\textcolor{##e84d39}{#1}".to_string())),
    ("\\redE".to_string(), MacroDefinition::text("\\textcolor{##bc2612}{#1}".to_string())),
    ("\\maroonA".to_string(), MacroDefinition::text("\\textcolor{##ffbde0}{#1}".to_string())),
    ("\\maroonB".to_string(), MacroDefinition::text("\\textcolor{##ff92c6}{#1}".to_string())),
    ("\\maroonC".to_string(), MacroDefinition::text("\\textcolor{##ed5fa6}{#1}".to_string())),
    ("\\maroonD".to_string(), MacroDefinition::text("\\textcolor{##ca337c}{#1}".to_string())),
    ("\\maroonE".to_string(), MacroDefinition::text("\\textcolor{##9e034e}{#1}".to_string())),
    ("\\purpleA".to_string(), MacroDefinition::text("\\textcolor{##ddd7ff}{#1}".to_string())),
    ("\\purpleB".to_string(), MacroDefinition::text("\\textcolor{##c6b9fc}{#1}".to_string())),
    ("\\purpleC".to_string(), MacroDefinition::text("\\textcolor{##aa87ff}{#1}".to_string())),
    ("\\purpleD".to_string(), MacroDefinition::text("\\textcolor{##7854ab}{#1}".to_string())),
    ("\\purpleE".to_string(), MacroDefinition::text("\\textcolor{##543b78}{#1}".to_string())),
    ("\\mintA".to_string(), MacroDefinition::text("\\textcolor{##f5f9e8}{#1}".to_string())),
    ("\\mintB".to_string(), MacroDefinition::text("\\textcolor{##edf2df}{#1}".to_string())),
    ("\\mintC".to_string(), MacroDefinition::text("\\textcolor{##e0e5cc}{#1}".to_string())),
    ("\\grayA".to_string(), MacroDefinition::text("\\textcolor{##f6f7f7}{#1}".to_string())),
    ("\\grayB".to_string(), MacroDefinition::text("\\textcolor{##f0f1f2}{#1}".to_string())),
    ("\\grayC".to_string(), MacroDefinition::text("\\textcolor{##e3e5e6}{#1}".to_string())),
    ("\\grayD".to_string(), MacroDefinition::text("\\textcolor{##d6d8da}{#1}".to_string())),
    ("\\grayE".to_string(), MacroDefinition::text("\\textcolor{##babec2}{#1}".to_string())),
    ("\\grayF".to_string(), MacroDefinition::text("\\textcolor{##888d93}{#1}".to_string())),
    ("\\grayG".to_string(), MacroDefinition::text("\\textcolor{##626569}{#1}".to_string())),
    ("\\grayH".to_string(), MacroDefinition::text("\\textcolor{##3b3e40}{#1}".to_string())),
    ("\\grayI".to_string(), MacroDefinition::text("\\textcolor{##21242c}{#1}".to_string())),
    ("\\kaBlue".to_string(), MacroDefinition::text("\\textcolor{##314453}{#1}".to_string())),
    ("\\kaGreen".to_string(), MacroDefinition::text("\\textcolor{##71B307}{#1}".to_string())),    ])
}