texformer-100m-int8_dynamic / tokenizer /latex_commands.json
aamingem's picture
Add TeXformer checkpoint, tokenizer, and model card
bd23406 verified
{
"special_tokens": [
"[PAD]",
"[UNK]",
"[BOS]",
"[EOS]",
"[FIGURE]",
"[TABLE]"
],
"common_commands": [
"\\mathcal",
"\\end",
"\\begin",
"\\in",
"\\mathbb",
"\\frac",
"\\ref",
"\\cite",
"\\alpha",
"\\right",
"\\left",
"\\label",
"\\mathrm",
"\\lambda",
"\\mu",
"\\mathbf",
"\\infty",
"\\leq",
"\\pi",
"\\beta",
"\\eqref",
"\\sigma",
"\\gamma",
"\\text",
"\\sum",
"\\to",
"\\operatorname",
"\\delta",
"\\omega",
"\\rm",
"\\tau",
"\\theta",
"\\rho",
"\\phi",
"\\ell",
"\\varphi",
"\\mathfrak",
"\\cdot",
"\\item",
"\\partial",
"\\times",
"\\Omega",
"\\varepsilon",
"\\Gamma",
"\\int",
"\\overline",
"\\nu",
"\\xi",
"\\tilde",
"\\psi",
"\\Delta",
"\\eta",
"\\geq",
"\\bar",
"\\big",
"\\rangle",
"\\quad",
"\\hat",
"\\otimes",
"\\langle",
"\\ensuremath",
"\\mathsf",
"\\boldsymbol",
"\\emph",
"\\le",
"\\widetilde",
"\\epsilon",
"\\ldots",
"\\sqrt",
"\\Lambda",
"\\Phi",
"\\cap",
"\\mathscr",
"\\subset",
"\\bm",
"\\textbf",
"\\bf",
"\\dots",
"\\circ",
"\\chi",
"\\rightarrow",
"\\Sigma",
"\\kappa",
"\\widehat",
"\\cdots",
"\\zeta",
"\\subseteq",
"\\log",
"\\Big",
"\\subsection",
"\\section",
"\\neq",
"\\nabla",
"\\setminus",
"\\ge",
"\\pm",
"\\textit",
"\\ast",
"\\mbox",
"\\qquad",
"\\cup",
"\\vert",
"\\Psi",
"\\caption",
"\\vec",
"\\colon",
"\\prime",
"\\cal",
"\\underline",
"\\sim",
"\\Vert",
"\\limits",
"\\oplus",
"\\hspace",
"\\noindent",
"\\nonumber",
"\\cref",
"\\mid",
"\\xspace",
"\\prod",
"\\lim",
"\\wedge",
"\\hline",
"\\leqslant",
"\\mapsto",
"\\equiv",
"\\max",
"\\Theta",
"\\bigg",
"\\Pi",
"\\mathop",
"\\dot",
"\\cong",
"\\Cref",
"\\sup",
"\\star",
"\\it",
"\\forall",
"\\hbox",
"\\bullet",
"\\perp",
"\\min",
"\\sin",
"\\cos",
"\\lesssim",
"\\emptyset",
"\\texttt",
"\\iota",
"\\dagger",
"\\textrm",
"\\exp",
"\\dim",
"\\tfrac",
"\\longrightarrow",
"\\textup",
"\\simeq",
"\\vee",
"\\em",
"\\vspace",
"\\displaystyle",
"\\bigcup",
"\\ar",
"\\dfrac",
"\\bigl",
"\\footnote",
"\\bigr",
"\\medskip",
"\\kern",
"\\author",
"\\geqslant",
"\\approx",
"\\sf",
"\\not",
"\\ln",
"\\textsc",
"\\textnormal",
"\\coloneqq",
"\\scriptscriptstyle",
"\\top",
"\\nolimits",
"\\mathtt",
"\\citep",
"\\notin",
"\\subsubsection",
"\\vartheta",
"\\color",
"\\mkern",
"\\rVert",
"\\maketitle",
"\\backslash",
"\\rvert",
"\\ne",
"\\det",
"\\mathit",
"\\overset",
"\\mathds",
"\\Rightarrow",
"\\lvert",
"\\textcolor",
"\\ket",
"\\varrho",
"\\Xi",
"\\inf",
"\\binom",
"\\textsf",
"\\over",
"\\par",
"\\smallskip",
"\\fi",
"\\lVert",
"\\paragraph",
"\\xrightarrow",
"\\lfloor",
"\\mathbbm",
"\\rfloor",
"\\substack",
"\\S",
"\\email",
"\\ll",
"\\hbar",
"\\deg",
"\\newcommand",
"\\stackrel",
"\\affiliation",
"\\vdots",
"\\ker",
"\\bigoplus",
"\\notag",
"\\sharp",
"\\scriptstyle",
"\\textstyle",
"\\check",
"\\tt",
"\\small",
"\\rtimes",
"\\multicolumn",
"\\title",
"\\mathrel",
"\\mathbin",
"\\else",
"\\prec",
"\\exists",
"\\raisebox",
"\\scalebox",
"\\tiny",
"\\relax",
"\\Bigg",
"\\downarrow",
"\\Upsilon",
"\\underset",
"\\autoref",
"\\bigcap",
"\\abs",
"\\uparrow",
"\\vcenter",
"\\hookrightarrow",
"\\Box",
"\\boldmath",
"\\centering",
"\\norm",
"\\Bigl",
"\\Bigr",
"\\odot",
"\\hskip",
"\\def",
"\\hfill",
"\\Bbb",
"\\square",
"\\bot",
"\\bigskip",
"\\pmb",
"\\varpi",
"\\phantom",
"\\neg",
"\\State",
"\\wd",
"\\ac",
"\\vdash",
"\\lbrace",
"\\setbox",
"\\rbrace",
"\\mathord",
"\\thanks",
"\\cr",
"\\sqcup",
"\\rceil",
"\\varnothing",
"\\lceil",
"\\rrbracket",
"\\vskip",
"\\models",
"\\scriptsize",
"\\llbracket",
"\\gg",
"\\Tilde",
"\\frak",
"\\underbrace",
"\\dag",
"\\smash",
"\\normalfont",
"\\limsup",
"\\Bbbk",
"\\upsilon",
"\\preceq",
"\\land",
"\\Re",
"\\R",
"\\mathring",
"\\leftarrow",
"\\biggl",
"\\biggr",
"\\midrule",
"\\triangle",
"\\overrightarrow",
"\\cosh",
"\\ddots",
"\\multirow",
"\\Leftrightarrow",
"\\diamond",
"\\bigwedge",
"\\ifthenelse",
"\\EuScript",
"\\pmod",
"\\citet",
"\\sinh",
"\\gtrsim",
"\\renewcommand",
"\\gls",
"\\gets",
"\\vphantom",
"\\implies",
"\\sc",
"\\varsigma",
"\\xymatrix",
"\\eps",
"\\propto",
"\\ni",
"\\rule",
"\\parallel",
"\\supset",
"\\href",
"\\bold",
"\\mathchoice",
"\\liminf",
"\\arabic",
"\\texorpdfstring",
"\\equal",
"\\date",
"\\newline",
"\\tag",
"\\footnotesize",
"\\gdef",
"\\setcounter",
"\\boxtimes",
"\\longmapsto",
"\\mp",
"\\dotsc",
"\\curvearrowright",
"\\qed",
"\\setlength",
"\\arg",
"\\leftrightarrow",
"\\breve",
"\\choose",
"\\gcd",
"\\mod",
"\\supseteq",
"\\iff",
"\\Z",
"\\succ",
"\\ddot",
"\\keywords",
"\\hyperref",
"\\ifx",
"\\dd",
"\\and",
"\\bigvee",
"\\newtheorem",
"\\aleph",
"\\varkappa",
"\\v",
"\\flat",
"\\imath",
"\\wp",
"\\STATE",
"\\triangleright",
"\\asymp",
"\\dimen",
"\\C",
"\\protect",
"\\Im",
"\\tan",
"\\subsetneq",
"\\iint",
"\\braket",
"\\slashed",
"\\lor",
"\\toprule",
"\\macc",
"\\smallsetminus",
"\\set",
"\\Longrightarrow",
"\\vrule",
"\\roman",
"\\hfil",
"\\bottomrule",
"\\cellcolor",
"\\textwidth",
"\\kl",
"\\bra",
"\\ifmmode",
"\\newpage",
"\\m",
"\\ltimes",
"\\upharpoonright",
"\\mathpzc",
"\\ding",
"\\Vdash",
"\\bigsqcup",
"\\draw",
"\\bib",
"\\expandafter",
"\\qty",
"\\Bar",
"\\bmod",
"\\index",
"\\cline",
"\\hdots",
"\\x",
"\\today",
"\\mathsmaller",
"\\qedhere",
"\\triangleq",
"\\on",
"\\tableofcontents",
"\\lstinline",
"\\i",
"\\mc",
"\\natural",
"\\upshape",
"\\angle",
"\\Pr",
"\\hyperlink",
"\\ominus",
"\\Longleftrightarrow",
"\\mathopen",
"\\triangleleft",
"\\url",
"\\textsuperscript",
"\\raise",
"\\empty",
"\\Diamond",
"\\pazocal",
"\\if",
"\\twoheadrightarrow",
"\\indent",
"\\begingroup",
"\\middle",
"\\baselineskip",
"\\tensor",
"\\vb",
"\\restriction",
"\\ht",
"\\sl",
"\\mright",
"\\acute",
"\\mleft",
"\\preccurlyeq",
"\\nmid",
"\\tanh",
"\\mskip",
"\\fint",
"\\appendix",
"\\sqsubseteq",
"\\nicefrac",
"\\p",
"\\coloneq",
"\\checkmark",
"\\allowbreak",
"\\makebox",
"\\endgroup",
"\\global",
"\\wr",
"\\prescript",
"\\N",
"\\H",
"\\noalign",
"\\A",
"\\rightharpoonup",
"\\succeq",
"\\bigotimes",
"\\rotatebox",
"\\vbox",
"\\normalsize",
"\\romannumeral",
"\\large",
"\\z",
"\\lhd",
"\\nobreakdash",
"\\E",
"\\long",
"\\cO",
"\\Large",
"\\country",
"\\bfseries",
"\\dashv",
"\\first",
"\\textcircled",
"\\oint",
"\\cot",
"\\cA",
"\\mathclose",
"\\searrow",
"\\hrule",
"\\selectfont",
"\\node",
"\\lbrack",
"\\e",
"\\id",
"\\dimexpr",
"\\jmath",
"\\sep",
"\\slash",
"\\cmidrule",
"\\SI",
"\\makecell",
"\\Tr",
"\\cC",
"\\F",
"\\vDash",
"\\resizebox",
"\\atop",
"\\intercal",
"\\boxplus",
"\\coprod",
"\\genfrac",
"\\the",
"\\mspace",
"\\mathpalette",
"\\alph",
"\\dashrightarrow",
"\\Subset",
"\\textsl",
"\\rhd",
"\\crcr",
"\\lnot",
"\\l",
"\\c",
"\\ifbool",
"\\linewidth",
"\\cH",
"\\verb",
"\\la",
"\\institution",
"\\rlap",
"\\mf",
"\\centerline",
"\\For",
"\\mathlarger",
"\\cfrac",
"\\blacksquare",
"\\arctan",
"\\vcentcolon",
"\\city",
"\\f",
"\\diamondsuit",
"\\ra",
"\\itemsep",
"\\be",
"\\iffalse",
"\\nearrow",
"\\uppercase",
"\\Biggl",
"\\cL",
"\\ifnum",
"\\bx",
"\\orcidlink",
"\\T",
"\\enspace",
"\\Vec",
"\\gdefblack",
"\\L",
"\\advance",
"\\wt",
"\\thinspace",
"\\affil",
"\\lrcorner",
"\\edef",
"\\u",
"\\Biggr",
"\\If",
"\\D",
"\\tr",
"\\parbox",
"\\prettyref",
"\\varprojlim",
"\\cat",
"\\al",
"\\cM",
"\\lozenge",
"\\smaller",
"\\RR",
"\\mathbbl",
"\\cG",
"\\bC",
"\\bigtriangleup",
"\\refstepcounter",
"\\num",
"\\G",
"\\copy",
"\\bb",
"\\B",
"\\sfrac",
"\\mathsurround",
"\\linebreak",
"\\b",
"\\accentset",
"\\ee",
"\\Comment",
"\\hss",
"\\mathbold",
"\\parens",
"\\ms",
"\\varPhi",
"\\bowtie",
"\\o",
"\\leavevmode",
"\\CC",
"\\ul",
"\\circledast",
"\\w",
"\\tikz",
"\\overleftarrow",
"\\d",
"\\mathinner",
"\\tabularnewline",
"\\tabcolsep",
"\\rightsquigarrow",
"\\doteq",
"\\fam",
"\\nobreak",
"\\unlhd",
"\\widecheck",
"\\varGamma",
"\\P",
"\\EndFor",
"\\MR",
"\\fontdimen",
"\\eqno",
"\\mathbbmss",
"\\cF",
"\\ssub",
"\\textsubscript",
"\\null",
"\\boxed",
"\\trianglelefteq",
"\\proof",
"\\rbrack",
"\\hidewidth",
"\\ZZ",
"\\hphantom",
"\\Set",
"\\varinjlim",
"\\lower",
"\\ooalign",
"\\let",
"\\cB",
"\\cE",
"\\bs",
"\\M",
"\\ttfamily",
"\\precsim",
"\\wideparen",
"\\sp",
"\\cD",
"\\usebox",
"\\g",
"\\acp",
"\\state",
"\\mathaccent",
"\\fg",
"\\itshape",
"\\vartriangle",
"\\myboxB",
"\\buildrel",
"\\urcorner",
"\\seg",
"\\fontsize",
"\\Q",
"\\footnotetext",
"\\Return",
"\\vartriangleleft",
"\\n",
"\\arccos",
"\\joinrel",
"\\IEEEmembership",
"\\sqcap",
"\\gr",
"\\space",
"\\frown",
"\\arraycolsep",
"\\GL",
"\\arraybackslash",
"\\Gr",
"\\thispagestyle",
"\\clearpage",
"\\dotsb",
"\\lq",
"\\heartsuit",
"\\textheight",
"\\inst",
"\\eeaa",
"\\arrow",
"\\fbox",
"\\lineskiplimit",
"\\s",
"\\varDelta",
"\\thref",
"\\ulcorner",
"\\EndIf",
"\\UnaryInfC",
"\\tw",
"\\IEEEauthorrefmark",
"\\ol",
"\\scaleobj",
"\\providecommand",
"\\mathstrut",
"\\O",
"\\vv",
"\\goth",
"\\scaleto",
"\\detokenize",
"\\uptau",
"\\X",
"\\second",
"\\AxiomC",
"\\supp",
"\\intop",
"\\op",
"\\height",
"\\wh",
"\\varSigma",
"\\rightrightarrows",
"\\Leftarrow",
"\\ifdim",
"\\lVertf",
"\\del",
"\\Hom",
"\\nsubseteq",
"\\cR",
"\\a",
"\\dif",
"\\zcref",
"\\ss",
"\\floor",
"\\colonequals",
"\\addtocounter",
"\\bibitem",
"\\bP",
"\\labelcref",
"\\ialign",
"\\infer",
"\\cP",
"\\underbar",
"\\isempty",
"\\cX",
"\\parindent",
"\\dist",
"\\dp",
"\\acro",
"\\sffamily",
"\\ce",
"\\mathbbold",
"\\enquote",
"\\SavedStyle",
"\\myboxA",
"\\bR",
"\\expval",
"\\textcite",
"\\mathnormal",
"\\rowcolor",
"\\penalty",
"\\reflectbox",
"\\bigcirc",
"\\scalerel",
"\\undefined",
"\\textmd",
"\\si",
"\\relbar",
"\\vphi",
"\\allowdisplaybreaks",
"\\Aut",
"\\cT",
"\\uplus",
"\\sqsubset",
"\\paren",
"\\fontfamily",
"\\inv",
"\\dotsm",
"\\upalpha",
"\\I",
"\\intertext",
"\\U",
"\\brk",
"\\leadsto",
"\\defeq",
"\\mb",
"\\Spec",
"\\Mod",
"\\hslash",
"\\IEEEauthorblockA",
"\\sbox",
"\\ot",
"\\triangledown",
"\\arcsin",
"\\final",
"\\bA",
"\\cS",
"\\llap",
"\\parencite",
"\\subparagraph",
"\\PP",
"\\usefont",
"\\Hat",
"\\textfont",
"\\hypertarget",
"\\V",
"\\endaligned",
"\\aligned",
"\\overbrace",
"\\fill",
"\\term",
"\\mathclap",
"\\abstract",
"\\RightLabel",
"\\endcsname",
"\\k",
"\\coth",
"\\or",
"\\fp",
"\\bbR",
"\\varOmega",
"\\pageref",
"\\fnm",
"\\usepackage",
"\\uppi",
"\\longleftrightarrow",
"\\box",
"\\nulldelimiterspace",
"\\sur",
"\\ad",
"\\ketbra",
"\\cK",
"\\ga",
"\\smile",
"\\glspl",
"\\thinmuskip",
"\\pr",
"\\Bun",
"\\complement",
"\\upmu",
"\\value",
"\\strut",
"\\MakeUppercase",
"\\preprint",
"\\countitems",
"\\blacktriangleright",
"\\hom",
"\\Op",
"\\longleftarrow",
"\\lowercase",
"\\llcorner",
"\\blacktriangle",
"\\upbeta",
"\\parskip",
"\\IEEEauthorblockN",
"\\ie",
"\\sub",
"\\fL",
"\\Cal",
"\\unskip",
"\\unitlength",
"\\rk",
"\\cN",
"\\tmpbox",
"\\nolinebreak",
"\\alphaup",
"\\numberwithin",
"\\prn",
"\\nameref",
"\\lessapprox",
"\\varPsi",
"\\amalg",
"\\centerdot",
"\\bZ",
"\\sqsupset",
"\\addcontentsline",
"\\dom",
"\\Dmod",
"\\nonscript",
"\\rq",
"\\boxdot",
"\\mathbfcal",
"\\bS",
"\\ddagger",
"\\bX",
"\\r",
"\\theequation",
"\\negthinspace",
"\\type",
"\\Sp",
"\\vartriangleright",
"\\vect",
"\\varLambda",
"\\AgdaSpace",
"\\smallfrown",
"\\End",
"\\bigstar",
"\\ii",
"\\arrowvert",
"\\pdv",
"\\xleftarrow",
"\\sec",
"\\FF",
"\\eth",
"\\raggedright",
"\\put",
"\\y",
"\\endproof",
"\\stepcounter",
"\\lefteqn",
"\\ev",
"\\hyp",
"\\medbreak",
"\\LL",
"\\shuffle",
"\\Cc",
"\\bp",
"\\cyracc",
"\\ab",
"\\csname",
"\\updelta",
"\\aa",
"\\im",
"\\uline",
"\\third",
"\\columnwidth",
"\\calU",
"\\mathrmbfit",
"\\unit",
"\\vline",
"\\csc",
"\\qw",
"\\diff",
"\\mylenA",
"\\bigm",
"\\ip",
"\\textsection",
"\\ceil",
"\\cU",
"\\divide",
"\\cV",
"\\Id",
"\\pa",
"\\Alph",
"\\subref",
"\\mathchar",
"\\footnotemark",
"\\nointerlineskip",
"\\vfill",
"\\red",
"\\todo",
"\\bbC",
"\\vss",
"\\MakeLowercase",
"\\addlinespace",
"\\LARGE",
"\\cancel",
"\\supsetneq",
"\\h",
"\\EE",
"\\pagestyle",
"\\mssm",
"\\cc",
"\\hypersetup",
"\\While",
"\\IZ",
"\\underaccent",
"\\AA",
"\\do",
"\\widthof",
"\\t",
"\\dR",
"\\Ran",
"\\orgname",
"\\K",
"\\NN",
"\\btheta",
"\\calA",
"\\gobble",
"\\endmarker",
"\\multimap",
"\\special",
"\\nopagebreak",
"\\leftidx",
"\\textquotedblleft",
"\\bv",
"\\Require",
"\\lVertx",
"\\institute",
"\\theoremstyle",
"\\stackon",
"\\Sha",
"\\sssec",
"\\SL",
"\\colorbox",
"\\Cat",
"\\bbZ",
"\\rightarrowtail",
"\\beq",
"\\ff",
"\\De",
"\\Uparrow",
"\\mat",
"\\poly",
"\\sslash",
"\\langlex",
"\\rbra",
"\\blackdiamond",
"\\run",
"\\depth",
"\\ENDFOR",
"\\sideset",
"\\pagebreak",
"\\sm",
"\\varTheta",
"\\bfx",
"\\bd",
"\\textquotedblright",
"\\orgaddress",
"\\oslash",
"\\Forest",
"\\lm",
"\\hrulefill",
"\\Else",
"\\vtop",
"\\symbol",
"\\xiup",
"\\succcurlyeq",
"\\crtcref",
"\\markboth",
"\\stretchto",
"\\noexpand",
"\\thicksim",
"\\eq",
"\\mssd",
"\\looseness",
"\\j",
"\\phantomsection",
"\\ep",
"\\citealp",
"\\HH",
"\\ex",
"\\sem",
"\\degree",
"\\definecolor",
"\\eeq",
"\\oc",
"\\ba",
"\\addtolength",
"\\textswab",
"\\FOR",
"\\circlearrowleft",
"\\rank",
"\\bbN",
"\\uplambda",
"\\scriptfont",
"\\displaylimits",
"\\operatornamewithlimits",
"\\Qoppa",
"\\seq",
"\\nleq",
"\\upomega",
"\\LMpt",
"\\textnumero",
"\\calC",
"\\rd",
"\\yng",
"\\orgdiv",
"\\enskip",
"\\W",
"\\ldotp",
"\\Statex",
"\\one",
"\\abovedisplayskip",
"\\mlabel",
"\\makeatletter",
"\\cI",
"\\meter",
"\\st",
"\\Omg",
"\\autocite",
"\\subsetneqq",
"\\ov",
"\\Downarrow",
"\\tcp",
"\\thesection",
"\\bfitw",
"\\cl",
"\\postcode",
"\\varlimsup",
"\\mref",
"\\ndash",
"\\cites",
"\\dotplus",
"\\varmathbb",
"\\ideal",
"\\xhookrightarrow",
"\\fq",
"\\overleftrightarrow",
"\\ssecfont",
"\\ThisStyle",
"\\mathrlap",
"\\lessdot",
"\\ord",
"\\ifcat",
"\\Ind",
"\\reg",
"\\chapter",
"\\mathdist",
"\\extracolsep",
"\\uppsi",
"\\DD",
"\\clubsuit",
"\\pinlabel",
"\\br",
"\\orcid",
"\\cW",
"\\myp",
"\\shortstack",
"\\char",
"\\ch",
"\\Sh",
"\\cdotp",
"\\vol",
"\\calX",
"\\horspace",
"\\Dot",
"\\curlywedge",
"\\eqqcolon",
"\\scshape",
"\\cs",
"\\by",
"\\textemdash",
"\\measuredangle",
"\\Ddots",
"\\xlongrightarrow",
"\\calc",
"\\string",
"\\bu",
"\\Cdots",
"\\ydiagram",
"\\eqdef",
"\\Res",
"\\CY",
"\\rr",
"\\fa",
"\\tikzset",
"\\Vertf",
"\\vx",
"\\rc",
"\\varliminf",
"\\mho",
"\\break",
"\\textbullet",
"\\makeatother",
"\\calH",
"\\tup",
"\\ccsdesc",
"\\tikzfig",
"\\fnsymbol",
"\\flushbottom",
"\\upsigma",
"\\noLine",
"\\tbinom",
"\\futurelet",
"\\calD",
"\\dasharrow",
"\\nsim",
"\\Scal",
"\\sloppy",
"\\pacs",
"\\LS",
"\\order",
"\\var",
"\\DisplayProof",
"\\scriptscriptfont",
"\\et",
"\\thlabel",
"\\q",
"\\acknowledgments",
"\\percent",
"\\Shv",
"\\mcal",
"\\frakg",
"\\MPcomp",
"\\bF",
"\\urladdr",
"\\frozen",
"\\mathgroup",
"\\leftharpoonup",
"\\Hh",
"\\CMcal",
"\\citealt",
"\\ddag",
"\\ext",
"\\Call",
"\\define",
"\\blacktriangledown",
"\\savebox",
"\\tf",
"\\blacklozenge",
"\\bo",
"\\res",
"\\fourth",
"\\blacktriangleleft",
"\\QQ",
"\\mhyphen",
"\\alg",
"\\Sym",
"\\dv",
"\\mathcalboondox",
"\\mathbfsl",
"\\unboldmath",
"\\fontshape",
"\\IF",
"\\NP",
"\\stackunder",
"\\cY",
"\\bG",
"\\shortparallel",
"\\thesubsection",
"\\ae",
"\\kk",
"\\leqq",
"\\gtrapprox",
"\\Vdots",
"\\qa",
"\\fe",
"\\bT",
"\\bN",
"\\widebar",
"\\xx",
"\\eval",
"\\df",
"\\xrat",
"\\expr",
"\\bW",
"\\captionof",
"\\lvertx",
"\\Vect",
"\\bE",
"\\spadesuit",
"\\diam",
"\\indices",
"\\OR",
"\\mathsl",
"\\hsize",
"\\bgroup",
"\\msf",
"\\ma",
"\\faktor",
"\\emailAdd",
"\\lg",
"\\cn",
"\\pt",
"\\EndWhile",
"\\savestack",
"\\isa",
"\\Roman",
"\\card",
"\\theparagraph",
"\\ifdefined",
"\\II",
"\\bfg",
"\\ENDIF",
"\\FloatBarrier",
"\\lc",
"\\upgamma",
"\\FAA",
"\\xy",
"\\calO",
"\\Pic",
"\\bM",
"\\th",
"\\gB",
"\\calI",
"\\Om",
"\\omit",
"\\TT",
"\\ml",
"\\Vertx",
"\\endxy",
"\\offinterlineskip",
"\\fu",
"\\bea",
"\\Spc",
"\\lVertu",
"\\circlearrowright",
"\\citeauthor",
"\\bfs",
"\\bB",
"\\fm",
"\\nn",
"\\thesubsubsection",
"\\mintinline",
"\\leftindex",
"\\fra",
"\\eea",
"\\CO",
"\\cortext",
"\\ox",
"\\catarglen",
"\\undertilde",
"\\bfa",
"\\IEEEPARstart",
"\\inferrule",
"\\CE",
"\\bel",
"\\sse",
"\\bQ",
"\\mathpunct",
"\\sC",
"\\tp",
"\\circledcirc",
"\\pounds",
"\\MM",
"\\langlev",
"\\ud",
"\\OO",
"\\etaup",
"\\calF",
"\\J",
"\\calP",
"\\onlinecite",
"\\rrangle",
"\\div",
"\\marginpar",
"\\GG",
"\\operator",
"\\Cap",
"\\acrodef",
"\\formalU",
"\\play",
"\\Ensure",
"\\belowdisplayskip",
"\\maxdimen",
"\\mathdutchcal",
"\\ty",
"\\orcidID",
"\\scriptspace",
"\\val",
"\\ComplexityFont",
"\\Y",
"\\mtt",
"\\QCoh",
"\\limfunc",
"\\smallbreak",
"\\spc",
"\\ignorespaces",
"\\lvertf",
"\\bbP",
"\\varXi",
"\\ct",
"\\ifhmode",
"\\diagup",
"\\proj",
"\\mathrnd",
"\\Mx",
"\\scalefont",
"\\lhook",
"\\fontseries",
"\\curly",
"\\rightleftarrows",
"\\xbf",
"\\om",
"\\icmlauthor",
"\\de",
"\\oldvarphi",
"\\settowidth",
"\\addtocontents",
"\\bz",
"\\stackengine",
"\\smalltriangleright",
"\\mcE",
"\\dt",
"\\pagenumbering",
"\\comp",
"\\beth",
"\\KwIn",
"\\IndCoh",
"\\Sc",
"\\AgdaSymbol",
"\\Fun",
"\\CA",
"\\varPi",
"\\none",
"\\Ad",
"\\msbfam",
"\\CCC",
"\\digamma",
"\\Xc",
"\\firstname",
"\\AC",
"\\mqty",
"\\lam",
"\\sphericalangle",
"\\gA",
"\\ran",
"\\Imc",
"\\smallsmile",
"\\xvec",
"\\defn",
"\\cv",
"\\textendash",
"\\coordinate",
"\\adjustbox",
"\\code",
"\\cQ",
"\\intro",
"\\number",
"\\SO",
"\\co",
"\\name",
"\\dual",
"\\rrparenthesis",
"\\pitchfork",
"\\bg",
"\\restr",
"\\ifblank",
"\\rchi",
"\\eg",
"\\bD",
"\\myinline",
"\\bigbreak",
"\\normalshape",
"\\IS",
"\\llparenthesis",
"\\tm",
"\\vtheta",
"\\surd",
"\\faExternalLink",
"\\llangle",
"\\fraka",
"\\upeta",
"\\textbackslash",
"\\between",
"\\func",
"\\real",
"\\no",
"\\Braket",
"\\varhexagon",
"\\intemp",
"\\Mh",
"\\inner",
"\\inL",
"\\FAG",
"\\REQUIRE",
"\\acrshort",
"\\te",
"\\langlef",
"\\diag",
"\\calE",
"\\qb",
"\\lVertT",
"\\conf",
"\\BinaryInfC",
"\\gate",
"\\path",
"\\conv",
"\\betaup",
"\\CIRCLE",
"\\catA",
"\\Sg",
"\\fun",
"\\at",
"\\rR",
"\\fix",
"\\strat",
"\\upphi",
"\\part",
"\\bt",
"\\upnu",
"\\nomenclature",
"\\colim",
"\\rightleftharpoons",
"\\nocite",
"\\uptheta",
"\\vvvert",
"\\boolean",
"\\grave",
"\\captionsetup",
"\\SH",
"\\delimiter",
"\\mathrsfs",
"\\field",
"\\Ga",
"\\lastname",
"\\Fr",
"\\App",
"\\Ker",
"\\cmdkl",
"\\CL",
"\\bw",
"\\citeyear",
"\\huge",
"\\lVertg",
"\\mcD",
"\\oalign",
"\\bV",
"\\loc",
"\\KwOut",
"\\Dc",
"\\uX",
"\\mbf",
"\\rightarrowfill",
"\\foreach",
"\\shortversion",
"\\blambda",
"\\succsim",
"\\brack",
"\\gen",
"\\bfk",
"\\AP",
"\\ts",
"\\dcal",
"\\say",
"\\mcA",
"\\IR",
"\\base",
"\\coqdocvar",
"\\inC",
"\\qIW",
"\\upepsilon",
"\\rb",
"\\circle",
"\\bH",
"\\gt",
"\\hypo",
"\\braces",
"\\di",
"\\of",
"\\uprho",
"\\mcM",
"\\sh",
"\\ve",
"\\norma",
"\\mycal",
"\\an",
"\\point",
"\\prob",
"\\calR",
"\\VertT",
"\\sset",
"\\scrO",
"\\street",
"\\AgdaFunction",
"\\ncong",
"\\shortmid",
"\\Join",
"\\delimsize",
"\\bigtriangledown",
"\\lleq",
"\\bigO",
"\\mr",
"\\ind",
"\\opt",
"\\vertz",
"\\normalcolor",
"\\rar",
"\\dabar",
"\\Ac",
"\\Block",
"\\mcC",
"\\CH",
"\\hp",
"\\ifstrequal",
"\\Lie",
"\\jot",
"\\xleftrightarrow",
"\\zo",
"\\mathcalalt",
"\\SetCell",
"\\AgdaInductiveConstructor",
"\\AgdaBound",
"\\COMMENT",
"\\matr",
"\\vecsite",
"\\Xfr",
"\\twist",
"\\frakm",
"\\hdashline",
"\\deltaup",
"\\tor",
"\\bfz",
"\\td",
"\\CD",
"\\FCC",
"\\ifstrempty",
"\\hhline",
"\\calJ",
"\\bL",
"\\calS",
"\\leqno",
"\\bbS",
"\\Gal",
"\\sout",
"\\justifying",
"\\lr",
"\\qq",
"\\fil",
"\\rmd",
"\\SetKwInOut",
"\\bO",
"\\noforkbox",
"\\aff",
"\\Tn",
"\\with",
"\\micro",
"\\RETURN",
"\\ang",
"\\va",
"\\lstset",
"\\negthickspace",
"\\colour",
"\\ceqq",
"\\pqty",
"\\CP",
"\\km",
"\\stackinset",
"\\grR",
"\\Vertu",
"\\bfb",
"\\cf",
"\\thickapprox",
"\\mathsfit",
"\\Ex",
"\\vc",
"\\ensurestackMath",
"\\egroup",
"\\next",
"\\Ext",
"\\eqsim",
"\\curlyvee",
"\\budget",
"\\Int",
"\\vertx",
"\\pair",
"\\sR",
"\\CF",
"\\complete",
"\\fl",
"\\Nilp",
"\\given",
"\\pb",
"\\slshape",
"\\fontencoding",
"\\untl",
"\\subeq",
"\\fX",
"\\vareps",
"\\Arrowvert",
"\\Oc",
"\\vp",
"\\FSpace",
"\\mel",
"\\Circle",
"\\gammaup",
"\\Cl",
"\\Cr",
"\\inp",
"\\line",
"\\nat",
"\\Longleftarrow",
"\\ro",
"\\Fbold",
"\\Fin",
"\\leftrightarrows",
"\\PT",
"\\ti",
"\\lVertv",
"\\biguplus",
"\\bbQ",
"\\bfc",
"\\zero",
"\\AND",
"\\trianglelefteqslant",
"\\der",
"\\boxminus",
"\\bbE",
"\\limitset",
"\\sB",
"\\specialrule",
"\\newacronym",
"\\MoveEqLeft",
"\\step",
"\\rL",
"\\numexpr",
"\\textless",
"\\count",
"\\tree",
"\\lll",
"\\dynkin",
"\\eref",
"\\potential",
"\\scr",
"\\Prob",
"\\upvarphi",
"\\lneq",
"\\sb",
"\\PY",
"\\calV",
"\\kwd",
"\\bysame",
"\\allpha",
"\\textgoth",
"\\shortminus",
"\\grad",
"\\milli",
"\\group",
"\\smashoperator",
"\\hertz",
"\\BlankLine",
"\\thickmuskip",
"\\lb",
"\\bfC",
"\\Stab",
"\\IEEEpeerreviewmaketitle",
"\\fs",
"\\per",
"\\oo",
"\\fh",
"\\kh",
"\\tuple",
"\\trans",
"\\mymu",
"\\sumnonlimits",
"\\Rx",
"\\mathup",
"\\catcode",
"\\bn",
"\\tx",
"\\La",
"\\negmedspace",
"\\Th",
"\\oldin",
"\\differential",
"\\mathfrc",
"\\mymuii",
"\\sststile",
"\\lvertz",
"\\bigodot",
"\\upvarepsilon",
"\\looparrowright",
"\\lang",
"\\CI",
"\\AgdaOperator",
"\\lVertA",
"\\cJ",
"\\dal",
"\\Fix",
"\\xmapsto",
"\\acs",
"\\bigtimes",
"\\bbF",
"\\tld",
"\\sF",
"\\gb",
"\\ctrl",
"\\sA",
"\\interleave",
"\\underleftarrow",
"\\varphimm",
"\\skewfactor",
"\\mn",
"\\smalltriangleleft",
"\\Hur",
"\\caA",
"\\frakp",
"\\bY",
"\\err",
"\\Map",
"\\dpoint",
"\\textgreater",
"\\displaybreak",
"\\roth",
"\\iddots",
"\\vep",
"\\mX",
"\\bbA",
"\\blank",
"\\algorithmicindent",
"\\onedot",
"\\Rep",
"\\curraddr",
"\\cx",
"\\calL",
"\\varUpsilon",
"\\Norm",
"\\isaid",
"\\DontPrintSemicolon",
"\\lvertu",
"\\thepage",
"\\ps",
"\\Mat",
"\\varsubsetneq",
"\\swarrow",
"\\nrightarrow",
"\\mathrmbf",
"\\xR",
"\\Alg",
"\\bi",
"\\bbW",
"\\lambdaup",
"\\ppppcarac",
"\\leftrightsquigarrow",
"\\xymatrixcolsep",
"\\frakS",
"\\carpetV",
"\\textormath",
"\\veebar",
"\\centernot",
"\\BB",
"\\Yright",
"\\surname",
"\\sY",
"\\qp",
"\\spec",
"\\comm",
"\\MRhref",
"\\sgn",
"\\curvearrowleft",
"\\pot",
"\\MSC",
"\\EuFrak",
"\\IP",
"\\InputIfFileExists",
"\\ifinner",
"\\xmath",
"\\thead",
"\\sheaf",
"\\upPhi",
"\\blw",
"\\neighfun",
"\\Dd",
"\\bU",
"\\pp",
"\\col",
"\\StrLen",
"\\UIC",
"\\sO",
"\\mathoo",
"\\veps",
"\\lbar",
"\\ta",
"\\qedsymbol",
"\\basefield",
"\\ENSURE",
"\\bigsqcap",
"\\font",
"\\Span",
"\\mcL",
"\\bbbeta",
"\\Mult",
"\\nvDash",
"\\ri",
"\\is",
"\\Check",
"\\lbrbrak",
"\\rbrbrak",
"\\cm",
"\\black",
"\\Upgamma",
"\\bfy",
"\\frakM",
"\\Nf",
"\\Homeo",
"\\ym",
"\\refcite",
"\\xr",
"\\fb",
"\\DeltaN",
"\\newcount",
"\\word",
"\\dddot",
"\\rTo",
"\\bk",
"\\width",
"\\glsxtrshort",
"\\fboxsep",
"\\msD",
"\\lVerta",
"\\settoheight",
"\\Conf",
"\\fr",
"\\ea",
"\\strategy",
"\\mscr",
"\\Function",
"\\map",
"\\PSH",
"\\Space",
"\\pf",
"\\AXC",
"\\onfact",
"\\ytableausetup",
"\\flushleft",
"\\endgraf",
"\\aut",
"\\BL",
"\\calf",
"\\emb",
"\\genpoly",
"\\kr",
"\\iso",
"\\ecStates",
"\\weight",
"\\oper",
"\\fn",
"\\sX",
"\\smwhtdiamond",
"\\bPi",
"\\nano",
"\\framebox",
"\\lstick",
"\\inS",
"\\dbinom",
"\\langleu",
"\\aftergroup",
"\\Real",
"\\Free",
"\\ca",
"\\EndFunction",
"\\fref",
"\\psfrag",
"\\mathbx",
"\\geqq",
"\\sqsupseteq",
"\\Hc",
"\\sP",
"\\arr",
"\\lp",
"\\Gm",
"\\sfR",
"\\dotso",
"\\parfillskip",
"\\asg",
"\\diagbox",
"\\SU",
"\\Pb",
"\\striche",
"\\ns",
"\\ForAll",
"\\form",
"\\operatorfont",
"\\Amc",
"\\underrightarrow",
"\\uY",
"\\nleqslant",
"\\rp",
"\\mcG",
"\\young",
"\\inI",
"\\Seq",
"\\ft",
"\\runalt",
"\\calB",
"\\mathcolor",
"\\Oo",
"\\protected",
"\\And",
"\\dbar",
"\\pos",
"\\Ccal",
"\\interp",
"\\ek",
"\\setstretch",
"\\meqref",
"\\solid",
"\\Cantor",
"\\Chan",
"\\IT",
"\\sfH",
"\\statevar",
"\\fcolorbox",
"\\addvspace",
"\\mm",
"\\CR",
"\\calN",
"\\cross"
],
"vocab_size": 48000
}