| { | |
| "additional_special_tokens": [ | |
| "\\", | |
| "{", | |
| "}", | |
| "^", | |
| "<", | |
| "~", | |
| "\\dot", | |
| "\\ddot", | |
| "\\acute", | |
| "\\grave", | |
| "\\check", | |
| "\\breve", | |
| "\\tilde", | |
| "\\bar", | |
| "\\hat", | |
| "\\widehat", | |
| "\\vec", | |
| "\\exp", | |
| "\\ln", | |
| "\\lg", | |
| "\\log", | |
| "\\sin", | |
| "\\cos", | |
| "\\tan", | |
| "\\cot", | |
| "\\sec", | |
| "\\csc", | |
| "\\arcsin", | |
| "\\arccos", | |
| "\\arctan", | |
| "\\sinh", | |
| "\\cosh", | |
| "\\tanh", | |
| "\\coth", | |
| "\\operatorname", | |
| "\\sgn", | |
| "\\vert", | |
| "\\min", | |
| "\\max", | |
| "\\inf", | |
| "\\sup", | |
| "\\lim", | |
| "\\liminf", | |
| "\\limsup", | |
| "\\dim", | |
| "\\deg", | |
| "\\det", | |
| "\\phi", | |
| "\\Pr", | |
| "\\hom", | |
| "\\lVert", | |
| "\\arg", | |
| "\\partial", | |
| "\\over", | |
| "\\hbar", | |
| "\\circledS", | |
| "\\equiv", | |
| "\\pmod", | |
| "\\nshortmid", | |
| "\\sqrt", | |
| "\\mathrm", | |
| "\\dotplus", | |
| "\\backslash", | |
| "\\bullet", | |
| "\\boxdot", | |
| "\\circledast", | |
| "\\bigodot", | |
| "\\O", | |
| "\\empty", | |
| "\\varnothing", | |
| "\\notin", | |
| "\\ni", | |
| "\\bigcap", | |
| "\\biguplus", | |
| "\\times", | |
| "\\sqsubset", | |
| "\\sqsupset", | |
| "\\sqsubseteq", | |
| "\\sqsupseteq", | |
| "\\varsubsetneqq", | |
| "\\varsupsetneqq", | |
| "\\overset", | |
| "\\underset", | |
| "\\ncong", | |
| "\\varpropto", | |
| "\\lessdot", | |
| "\\gtrdot", | |
| "\\lvertneqq", | |
| "\\gvertneqq", | |
| "\\gtreqqless", | |
| "\\eqslantless", | |
| "\\eqslantgtr", | |
| "\\lnapprox", | |
| "\\gnapprox", | |
| "\\precneqq", | |
| "\\succneqq", | |
| "\\curlyeqprec", | |
| "\\curlyeqsucc", | |
| "\\precnapprox", | |
| "\\succnapprox", | |
| "\\nshortparallel", | |
| "\\circ", | |
| "\\Diamond", | |
| "\\bigstar", | |
| "\\triangle", | |
| "\\bigtriangledown", | |
| "\\triangledown", | |
| "\\blacktriangleright", | |
| "\\overline", | |
| "\\frown", | |
| "\\nexists", | |
| "\\And", | |
| "\\therefore", | |
| "\\because", | |
| "\\or", | |
| "\\lor", | |
| "\\bigvee", | |
| "\\and", | |
| "\\land", | |
| "\\bigwedge", | |
| "\\lnot", | |
| "\\top", | |
| "\\vdash", | |
| "\\models", | |
| "\\Vvdash", | |
| "\\nvdash", | |
| "\\nVdash", | |
| "\\nvDash", | |
| "\\nVDash", | |
| "\\ulcorner", | |
| "\\urcorner", | |
| "\\llcorner", | |
| "\\lrcorner", | |
| "\\Lleftarrow", | |
| "\\Longrightarrow", | |
| "\\implies", | |
| "\\Longleftarrow", | |
| "\\Longleftrightarrow", | |
| "\\iff", | |
| "\\Updownarrow", | |
| "\\rightarrow", | |
| "\\longrightarrow", | |
| "\\leftarrow", | |
| "\\longleftarrow", | |
| "\\longleftrightarrow", | |
| "\\updownarrow", | |
| "\\searrow", | |
| "\\longmapsto", | |
| "\\rightharpoonup", | |
| "\\rightharpoondown", | |
| "\\leftharpoonup", | |
| "\\leftharpoondown", | |
| "\\upharpoonleft", | |
| "\\upharpoonright", | |
| "\\downharpoonleft", | |
| "\\downharpoonright", | |
| "\\rightleftharpoons", | |
| "\\leftrightharpoons", | |
| "\\curvearrowleft", | |
| "\\circlearrowleft", | |
| "\\Lsh", | |
| "\\upuparrows", | |
| "\\rightrightarrows", | |
| "\\rightleftarrows", | |
| "\\rightarrowtail", | |
| "\\looparrowright", | |
| "\\curvearrowright", | |
| "\\circlearrowright", | |
| "\\Rsh", | |
| "\\downdownarrows", | |
| "\\leftleftarrows", | |
| "\\leftrightarrows", | |
| "\\leftarrowtail", | |
| "\\looparrowleft", | |
| "\\hookrightarrow", | |
| "\\hookleftarrow", | |
| "\\multimap", | |
| "\\leftrightsquigarrow", | |
| "\\rightsquigarrow", | |
| "\\twoheadrightarrow", | |
| "\\twoheadleftarrow", | |
| "\\amalg", | |
| "\\P", | |
| "\\S", | |
| "\\dagger", | |
| "\\ddagger", | |
| "\\ldots", | |
| "\\cdots", | |
| "\\smile", | |
| "\\wr", | |
| "\\triangleleft", | |
| "\\sharp", | |
| "\\cancel", | |
| "\\color", | |
| "\\diagup", | |
| "\\diagdown", | |
| "\\centerdot", | |
| "\\ltimes", | |
| "\\rtimes", | |
| "\\leftthreetimes", | |
| "\\rightthreetimes", | |
| "\\eqcirc", | |
| "\\circeq", | |
| "\\triangleq", | |
| "\\bumpeq", | |
| "\\Bumpeq", | |
| "\\doteqdot", | |
| "\\risingdotseq", | |
| "\\fallingdotseq", | |
| "\\intercal", | |
| "\\barwedge", | |
| "\\veebar", | |
| "\\doublebarwedge", | |
| "\\between", | |
| "\\pitchfork", | |
| "\\vartriangleleft", | |
| "\\ntriangleleft", | |
| "\\vartriangleright", | |
| "\\ntriangleright", | |
| "\\trianglelefteq", | |
| "\\ntrianglelefteq", | |
| "\\trianglerighteq", | |
| "\\ntrianglerighteq", | |
| "\\sum", | |
| "\\prod", | |
| "\\to", | |
| "\\int", | |
| "\\oint", | |
| "\\frac", | |
| "\\choose", | |
| "\\begin", | |
| "\\end", | |
| "\\vdots", | |
| "\\ddots", | |
| "\\mbox", | |
| "\\Alpha", | |
| "\\Beta", | |
| "\\Gamma", | |
| "\\Delta", | |
| "\\Epsilon", | |
| "\\Zeta", | |
| "\\Eta", | |
| "\\Theta", | |
| "\\Iota", | |
| "\\Kappa", | |
| "\\Lambda", | |
| "\\Mu", | |
| "\\Nu", | |
| "\\Xi", | |
| "\\Pi", | |
| "\\Rho", | |
| "\\Sigma", | |
| "\\Tau", | |
| "\\Upsilon", | |
| "\\Phi", | |
| "\\Chi", | |
| "\\Psi", | |
| "\\Omega", | |
| "\\alpha", | |
| "\\beta", | |
| "\\gamma", | |
| "\\delta", | |
| "\\epsilon", | |
| "\\zeta", | |
| "\\eta", | |
| "\\theta", | |
| "\\iota", | |
| "\\kappa", | |
| "\\lambda", | |
| "\\mu", | |
| "\\nu", | |
| "\\xi", | |
| "\\pi", | |
| "\\rho", | |
| "\\sigma", | |
| "\\tau", | |
| "\\upsilon", | |
| "\\chi", | |
| "\\psi", | |
| "\\omega", | |
| "\\varepsilon", | |
| "\\digamma", | |
| "\\varkappa", | |
| "\\varpi", | |
| "\\varrho", | |
| "\\varsigma", | |
| "\\vartheta", | |
| "\\varphi", | |
| "\\aleph", | |
| "\\beth", | |
| "\\gimel", | |
| "\\daleth", | |
| "\\mathbb", | |
| "\\mathbf", | |
| "\\boldsymbol", | |
| "\\mathit", | |
| "\\mathsf", | |
| "\\mathcal", | |
| "\\mathfrak", | |
| "\\text", | |
| "\\left", | |
| "\\right", | |
| "\\langle", | |
| "\\rfloor", | |
| "\\quad", | |
| "<extra_id_0>", | |
| "<extra_id_1>", | |
| "<extra_id_2>", | |
| "<extra_id_3>", | |
| "<extra_id_4>", | |
| "<extra_id_5>", | |
| "<extra_id_6>", | |
| "<extra_id_7>", | |
| "<extra_id_8>", | |
| "<extra_id_9>", | |
| "<extra_id_10>", | |
| "<extra_id_11>", | |
| "<extra_id_12>", | |
| "<extra_id_13>", | |
| "<extra_id_14>", | |
| "<extra_id_15>", | |
| "<extra_id_16>", | |
| "<extra_id_17>", | |
| "<extra_id_18>", | |
| "<extra_id_19>", | |
| "<extra_id_20>", | |
| "<extra_id_21>", | |
| "<extra_id_22>", | |
| "<extra_id_23>", | |
| "<extra_id_24>", | |
| "<extra_id_25>", | |
| "<extra_id_26>", | |
| "<extra_id_27>", | |
| "<extra_id_28>", | |
| "<extra_id_29>", | |
| "<extra_id_30>", | |
| "<extra_id_31>", | |
| "<extra_id_32>", | |
| "<extra_id_33>", | |
| "<extra_id_34>", | |
| "<extra_id_35>", | |
| "<extra_id_36>", | |
| "<extra_id_37>", | |
| "<extra_id_38>", | |
| "<extra_id_39>", | |
| "<extra_id_40>", | |
| "<extra_id_41>", | |
| "<extra_id_42>", | |
| "<extra_id_43>", | |
| "<extra_id_44>", | |
| "<extra_id_45>", | |
| "<extra_id_46>", | |
| "<extra_id_47>", | |
| "<extra_id_48>", | |
| "<extra_id_49>", | |
| "<extra_id_50>", | |
| "<extra_id_51>", | |
| "<extra_id_52>", | |
| "<extra_id_53>", | |
| "<extra_id_54>", | |
| "<extra_id_55>", | |
| "<extra_id_56>", | |
| "<extra_id_57>", | |
| "<extra_id_58>", | |
| "<extra_id_59>", | |
| "<extra_id_60>", | |
| "<extra_id_61>", | |
| "<extra_id_62>", | |
| "<extra_id_63>", | |
| "<extra_id_64>", | |
| "<extra_id_65>", | |
| "<extra_id_66>", | |
| "<extra_id_67>", | |
| "<extra_id_68>", | |
| "<extra_id_69>", | |
| "<extra_id_70>", | |
| "<extra_id_71>", | |
| "<extra_id_72>", | |
| "<extra_id_73>", | |
| "<extra_id_74>", | |
| "<extra_id_75>", | |
| "<extra_id_76>", | |
| "<extra_id_77>", | |
| "<extra_id_78>", | |
| "<extra_id_79>", | |
| "<extra_id_80>", | |
| "<extra_id_81>", | |
| "<extra_id_82>", | |
| "<extra_id_83>", | |
| "<extra_id_84>", | |
| "<extra_id_85>", | |
| "<extra_id_86>", | |
| "<extra_id_87>", | |
| "<extra_id_88>", | |
| "<extra_id_89>", | |
| "<extra_id_90>", | |
| "<extra_id_91>", | |
| "<extra_id_92>", | |
| "<extra_id_93>", | |
| "<extra_id_94>", | |
| "<extra_id_95>", | |
| "<extra_id_96>", | |
| "<extra_id_97>", | |
| "<extra_id_98>", | |
| "<extra_id_99>" | |
| ], | |
| "eos_token": { | |
| "content": "</s>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false | |
| }, | |
| "pad_token": { | |
| "content": "<pad>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false | |
| }, | |
| "unk_token": { | |
| "content": "<unk>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false | |
| } | |
| } | |