{ "added_tokens_decoder": { "0": { "content": "[PAD]", "lstrip": false, "normalized": false, "rstrip": false, "single_word": false, "special": true }, "100": { "content": "[UNK]", "lstrip": false, "normalized": false, "rstrip": false, "single_word": false, "special": true }, "101": { "content": "[CLS]", "lstrip": false, "normalized": false, "rstrip": false, "single_word": false, "special": true }, "102": { "content": "[SEP]", "lstrip": false, "normalized": false, "rstrip": false, "single_word": false, "special": true }, "103": { "content": "[MASK]", "lstrip": false, "normalized": false, "rstrip": false, "single_word": false, "special": true }, "30522": { "content": "$$", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30523": { "content": "\\AA", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30524": { "content": "\\C", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30525": { "content": "\\Delta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30526": { "content": "\\Deltatoo", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30527": { "content": "\\Documents", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30528": { "content": "\\Downarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30529": { "content": "\\Gamma", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30530": { "content": "\\GammaRACT", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30531": { "content": "\\Gammaacts", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30532": { "content": "\\Gammadoes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30533": { "content": "\\Im", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30534": { "content": "\\Lambda", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30535": { "content": "\\LambdaMPLE", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30536": { "content": "\\LambdaPTER", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30537": { "content": "\\LambdaRK", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30538": { "content": "\\LambdaYNAUD", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30539": { "content": "\\Lambdamodule", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30540": { "content": "\\Lambdamodules", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30541": { "content": "\\Lambdappendix", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30542": { "content": "\\Lambdas", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30543": { "content": "\\Lambdaut", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30544": { "content": "\\Leftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30545": { "content": "\\leftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30546": { "content": "\\Leftrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30547": { "content": "\\Longleftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30548": { "content": "\\Longleftrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30549": { "content": "\\Longrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30550": { "content": "\\M", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30551": { "content": "\\Math", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30552": { "content": "\\Minv", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30553": { "content": "\\Omega", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30554": { "content": "\\Perp", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30555": { "content": "\\PerpI", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30556": { "content": "\\Phi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30557": { "content": "\\Pi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30558": { "content": "\\Pisentence", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30559": { "content": "\\Pisentences", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30560": { "content": "\\Psi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30561": { "content": "\\Psiitself", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30562": { "content": "\\Psipre", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30563": { "content": "\\Psir", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30564": { "content": "\\Re", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30565": { "content": "\\Rightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30566": { "content": "\\rightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30567": { "content": "\\S", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30568": { "content": "\\SA", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30569": { "content": "\\SD", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30570": { "content": "\\SE", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30571": { "content": "\\SF", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30572": { "content": "\\SIII", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30573": { "content": "\\SIV", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30574": { "content": "\\SIX", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30575": { "content": "\\SVII", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30576": { "content": "\\Sigma", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30577": { "content": "\\Subset", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30578": { "content": "\\Theta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30579": { "content": "\\to", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30580": { "content": "\\Uparrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30581": { "content": "\\Upsilon", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30582": { "content": "\\Users", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30583": { "content": "\\Varangle", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30584": { "content": "\\Vdash", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30585": { "content": "\\Xi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30586": { "content": "\\aleph", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30587": { "content": "\\alldifferent", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30588": { "content": "\\alpha", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30589": { "content": "\\alphapointwise", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30590": { "content": "\\alphareversed", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30591": { "content": "\\alphasurjective", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30592": { "content": "\\amalg", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30593": { "content": "\\angle", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30594": { "content": "\\approx", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30595": { "content": "\\arccos", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30596": { "content": "\\arcsin", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30597": { "content": "\\arctan", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30598": { "content": "\\arg", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30599": { "content": "\\ast", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30600": { "content": "\\asymp", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30601": { "content": "\\atop", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30602": { "content": "\\backsim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30603": { "content": "\\backslash", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30604": { "content": "\\bar", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30605": { "content": "\\because", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30606": { "content": "\\begin", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30607": { "content": "\\beta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30608": { "content": "\\betaa", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30609": { "content": "\\betaencharacter", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30610": { "content": "\\betaencharakter", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30611": { "content": "\\betaencharaktere", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30612": { "content": "\\betaenoharaktere", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30613": { "content": "\\betaerwesentliche", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30614": { "content": "\\betaeverywhere", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30615": { "content": "\\betao", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30616": { "content": "\\beth", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30617": { "content": "\\bigcap", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30618": { "content": "\\bigcirc", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30619": { "content": "\\bigcup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30620": { "content": "\\bigodot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30621": { "content": "\\bigoplus", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30622": { "content": "\\bigotimes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30623": { "content": "\\bigsqcup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30624": { "content": "\\bigvee", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30625": { "content": "\\bigwedge", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30626": { "content": "\\binom", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30627": { "content": "\\bmod", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30628": { "content": "\\bmodL", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30629": { "content": "\\boldsymbol", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30630": { "content": "\\bowtie", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30631": { "content": "\\boxminus", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30632": { "content": "\\boxplus", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30633": { "content": "\\boxtimes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30634": { "content": "\\breve", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30635": { "content": "\\bullet", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30636": { "content": "\\bumpeq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30637": { "content": "\\cap", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30638": { "content": "\\capV", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30639": { "content": "\\cdot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30640": { "content": "\\cdotFUNCTIONS", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30641": { "content": "\\cdotideal", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30642": { "content": "\\cdotr", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30643": { "content": "\\cdots", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30644": { "content": "\\cdotss", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30645": { "content": "\\cdotvalues", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30646": { "content": "\\check", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30647": { "content": "\\checkmark", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30648": { "content": "\\chi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30649": { "content": "\\circ", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30650": { "content": "\\circdet", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30651": { "content": "\\circf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30652": { "content": "\\circlearrowleft", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30653": { "content": "\\circlearrowright", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30654": { "content": "\\circledR", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30655": { "content": "\\circledast", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30656": { "content": "\\cjkend", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30657": { "content": "\\cjkstart", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30658": { "content": "\\cline", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30659": { "content": "\\complement", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30660": { "content": "\\cong", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30661": { "content": "\\coprod", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30662": { "content": "\\coprodAut", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30663": { "content": "\\coprodU", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30664": { "content": "\\cos", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30665": { "content": "\\cosh", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30666": { "content": "\\cot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30667": { "content": "\\cox", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30668": { "content": "\\csc", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30669": { "content": "\\cup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30670": { "content": "\\curlyvee", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30671": { "content": "\\curlywedge", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30672": { "content": "\\curvearrowleft", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30673": { "content": "\\curvearrowright", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30674": { "content": "\\dagger", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30675": { "content": "\\dashv", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30676": { "content": "\\ddagger", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30677": { "content": "\\dddo", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30678": { "content": "\\dddot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30679": { "content": "\\ddo", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30680": { "content": "\\ddot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30681": { "content": "\\ddots", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30682": { "content": "\\delta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30683": { "content": "\\deltafunctor", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30684": { "content": "\\diamond", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30685": { "content": "\\digamma", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30686": { "content": "\\directory", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30687": { "content": "\\div", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30688": { "content": "\\dot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30689": { "content": "\\doteq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30690": { "content": "\\doteqdot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30691": { "content": "\\dots", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30692": { "content": "\\downarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30693": { "content": "\\downharpoonright", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30694": { "content": "\\ell", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30695": { "content": "\\ellholds", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30696": { "content": "\\ellrepresentation", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30697": { "content": "\\emptyset", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30698": { "content": "\\end", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30699": { "content": "\\epsilon", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30700": { "content": "\\epsilonKer", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30701": { "content": "\\equiv", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30702": { "content": "\\eta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30703": { "content": "\\ex", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30704": { "content": "\\exists", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30705": { "content": "\\existsc", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30706": { "content": "\\existsclosed", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30707": { "content": "\\exp", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30708": { "content": "\\fallingdotseq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30709": { "content": "\\forall", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30710": { "content": "\\forallsomething", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30711": { "content": "\\frac", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30712": { "content": "\\frown", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30713": { "content": "\\gamma", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30714": { "content": "\\gammavalues", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30715": { "content": "\\gcd", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30716": { "content": "\\geq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30717": { "content": "\\geqq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30718": { "content": "\\geqslant", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30719": { "content": "\\gg", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30720": { "content": "\\grave", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30721": { "content": "\\gtrdot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30722": { "content": "\\gtreqless", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30723": { "content": "\\gtrless", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30724": { "content": "\\gtrsim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30725": { "content": "\\hat", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30726": { "content": "\\hbar", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30727": { "content": "\\hdashline", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30728": { "content": "\\hline", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30729": { "content": "\\hlinee", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30730": { "content": "\\hookleftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30731": { "content": "\\hookrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30732": { "content": "\\hyunj", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30733": { "content": "\\iiint", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30734": { "content": "\\iint", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30735": { "content": "\\imath", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30736": { "content": "\\in", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30737": { "content": "\\inG", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30738": { "content": "\\inMag", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30739": { "content": "\\inX", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30740": { "content": "\\inf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30741": { "content": "\\infty", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30742": { "content": "\\inftyalso", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30743": { "content": "\\inftyo", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30744": { "content": "\\inftyramifies", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30745": { "content": "\\inm", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30746": { "content": "\\inn", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30747": { "content": "\\int", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30748": { "content": "\\intormula", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30749": { "content": "\\iota", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30750": { "content": "\\jmath", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30751": { "content": "\\kappa", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30752": { "content": "\\kappai", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30753": { "content": "\\kappath", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30754": { "content": "\\lambda", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30755": { "content": "\\lambdaa", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30756": { "content": "\\lambdafinite", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30757": { "content": "\\lambdasemiring", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30758": { "content": "\\langle", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30759": { "content": "\\langlee", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30760": { "content": "\\langleu", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30761": { "content": "\\langley", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30762": { "content": "\\latex", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30763": { "content": "\\lceil", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30764": { "content": "\\lceilk", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30765": { "content": "\\lceiln", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30766": { "content": "\\lcm", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30767": { "content": "\\ldot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30768": { "content": "\\ldots", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30769": { "content": "\\ldotsPROOF", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30770": { "content": "\\ldotsetc", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30771": { "content": "\\leadsto", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30772": { "content": "\\left", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30773": { "content": "\\leftleftarrows", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30774": { "content": "\\leftrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30775": { "content": "\\leftrightarrows", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30776": { "content": "\\leftrightharpoons", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30777": { "content": "\\leq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30778": { "content": "\\leqq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30779": { "content": "\\leqslant", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30780": { "content": "\\lessdot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30781": { "content": "\\lesseqgtr", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30782": { "content": "\\lessgtr", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30783": { "content": "\\lesssim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30784": { "content": "\\lfloor", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30785": { "content": "\\lg", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30786": { "content": "\\lim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30787": { "content": "\\liminf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30788": { "content": "\\limsup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30789": { "content": "\\ll", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30790": { "content": "\\llbracket", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30791": { "content": "\\llcorner", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30792": { "content": "\\lll", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30793": { "content": "\\ln", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30794": { "content": "\\log", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30795": { "content": "\\longdiv", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30796": { "content": "\\longleftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30797": { "content": "\\longleftrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30798": { "content": "\\longleftrightarrowEfi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30799": { "content": "\\longmapsto", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30800": { "content": "\\longmapstomult", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30801": { "content": "\\longrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30802": { "content": "\\lrcorner", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30803": { "content": "\\ltimes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30804": { "content": "\\lvert", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30805": { "content": "\\mapsto", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30806": { "content": "\\mapstoW", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30807": { "content": "\\mathbb", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30808": { "content": "\\mathbbR", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30809": { "content": "\\mathbbZrank", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30810": { "content": "\\mathbbZtakes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30811": { "content": "\\mathbbl", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30812": { "content": "\\mathbf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30813": { "content": "\\mathcal", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30814": { "content": "\\mathcalM", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30815": { "content": "\\mathcalom", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30816": { "content": "\\mathfrak", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30817": { "content": "\\mathrm", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30818": { "content": "\\mathscr", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30819": { "content": "\\mathscrB", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30820": { "content": "\\mathscrS", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30821": { "content": "\\mathscrf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30822": { "content": "\\matshcr", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30823": { "content": "\\max", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30824": { "content": "\\measuredangle", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30825": { "content": "\\mho", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30826": { "content": "\\mid", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30827": { "content": "\\min", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30828": { "content": "\\models", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30829": { "content": "\\mp", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30830": { "content": "\\mu", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30831": { "content": "\\mudominant", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30832": { "content": "\\muexists", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30833": { "content": "\\mufinite", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30834": { "content": "\\multicolumn", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30835": { "content": "\\multimap", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30836": { "content": "\\multirow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30837": { "content": "\\n", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30838": { "content": "\\nLeftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30839": { "content": "\\nRightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30840": { "content": "\\nVdash", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30841": { "content": "\\nabla", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30842": { "content": "\\natural", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30843": { "content": "\\nearrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30844": { "content": "\\neg", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30845": { "content": "\\neq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30846": { "content": "\\neqId", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30847": { "content": "\\neqid", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30848": { "content": "\\nexists", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30849": { "content": "\\ngtr", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30850": { "content": "\\ni", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30851": { "content": "\\nleftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30852": { "content": "\\nless", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30853": { "content": "\\nmid", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30854": { "content": "\\nmidDisc", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30855": { "content": "\\not", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30856": { "content": "\\notin", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30857": { "content": "\\nprec", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30858": { "content": "\\npreceq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30859": { "content": "\\nrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30860": { "content": "\\nsim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30861": { "content": "\\nsubseteq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30862": { "content": "\\nsucc", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30863": { "content": "\\nsucceq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30864": { "content": "\\nsupseteq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30865": { "content": "\\nu", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30866": { "content": "\\nvdash", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30867": { "content": "\\nwarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30868": { "content": "\\odot", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30869": { "content": "\\oepratorname", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30870": { "content": "\\oiiint", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30871": { "content": "\\oiint", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30872": { "content": "\\oint", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30873": { "content": "\\omega", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30874": { "content": "\\omegaest", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30875": { "content": "\\ominus", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30876": { "content": "\\operatorname", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30877": { "content": "\\operatornamemap", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30878": { "content": "\\oplus", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30879": { "content": "\\oslash", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30880": { "content": "\\otimes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30881": { "content": "\\otimese", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30882": { "content": "\\overbrace", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30883": { "content": "\\overleftarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30884": { "content": "\\overleftrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30885": { "content": "\\overlin", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30886": { "content": "\\overline", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30887": { "content": "\\overparen", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30888": { "content": "\\overrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30889": { "content": "\\p", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30890": { "content": "\\parallel", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30891": { "content": "\\partial", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30892": { "content": "\\partialM", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30893": { "content": "\\partiala", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30894": { "content": "\\partialb", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30895": { "content": "\\perp", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30896": { "content": "\\phi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30897": { "content": "\\phicommute", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30898": { "content": "\\pi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30899": { "content": "\\pifinite", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30900": { "content": "\\pitchfork", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30901": { "content": "\\pitwist", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30902": { "content": "\\pm", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30903": { "content": "\\prec", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30904": { "content": "\\preccurlyeq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30905": { "content": "\\preceq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30906": { "content": "\\precsim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30907": { "content": "\\prime", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30908": { "content": "\\prod", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30909": { "content": "\\propto", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30910": { "content": "\\psi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30911": { "content": "\\psidoes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30912": { "content": "\\qquad", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30913": { "content": "\\qua", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30914": { "content": "\\quad", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30915": { "content": "\\quada", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30916": { "content": "\\rangle", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30917": { "content": "\\rceil", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30918": { "content": "\\rfloor", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30919": { "content": "\\rho", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30920": { "content": "\\rhofollows", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30921": { "content": "\\rhooperator", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30922": { "content": "\\right", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30923": { "content": "\\rightarrowA", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30924": { "content": "\\rightarrowC", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30925": { "content": "\\rightarrowFinord", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30926": { "content": "\\rightarrowSet", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30927": { "content": "\\rightarrowSets", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30928": { "content": "\\rightarrowf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30929": { "content": "\\rightharpoonup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30930": { "content": "\\rightleftarrows", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30931": { "content": "\\rightleftharpoons", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30932": { "content": "\\rightrightarrows", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30933": { "content": "\\rightsquigarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30934": { "content": "\\risingdotseq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30935": { "content": "\\rrbracket", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30936": { "content": "\\rtimes", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30937": { "content": "\\rvert", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30938": { "content": "\\searrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30939": { "content": "\\sec", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30940": { "content": "\\section", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30941": { "content": "\\setminus", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30942": { "content": "\\sharp", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30943": { "content": "\\sigma", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30944": { "content": "\\sim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30945": { "content": "\\simeq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30946": { "content": "\\simeqid", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30947": { "content": "\\simr", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30948": { "content": "\\sin", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30949": { "content": "\\sinh", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30950": { "content": "\\smile", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30951": { "content": "\\sqcap", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30952": { "content": "\\sqcup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30953": { "content": "\\sqrt", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30954": { "content": "\\sqsubset", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30955": { "content": "\\sqsubseteq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30956": { "content": "\\sqsupset", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30957": { "content": "\\sqsupseteq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30958": { "content": "\\square", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30959": { "content": "\\stackrel", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30960": { "content": "\\star", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30961": { "content": "\\starEXERCISE", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30962": { "content": "\\subsection", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30963": { "content": "\\subset", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30964": { "content": "\\subsetA", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30965": { "content": "\\subsetM", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30966": { "content": "\\subseteq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30967": { "content": "\\subseteqW", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30968": { "content": "\\subsetneq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30969": { "content": "\\substack", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30970": { "content": "\\subsubsection", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30971": { "content": "\\succ", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30972": { "content": "\\succcurlyeq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30973": { "content": "\\succeq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30974": { "content": "\\succsim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30975": { "content": "\\sum", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30976": { "content": "\\sup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30977": { "content": "\\supset", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30978": { "content": "\\supseteq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30979": { "content": "\\supseteqq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30980": { "content": "\\supsetneq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30981": { "content": "\\supsetneqq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30982": { "content": "\\swarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30983": { "content": "\\tag", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30984": { "content": "\\tan", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30985": { "content": "\\tanh", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30986": { "content": "\\tau", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30987": { "content": "\\taualent", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30988": { "content": "\\tauariety", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30989": { "content": "\\tauphism", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30990": { "content": "\\tauphistn", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30991": { "content": "\\taupure", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30992": { "content": "\\text", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30993": { "content": "\\textbf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30994": { "content": "\\textrm", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30995": { "content": "\\textrmK", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30996": { "content": "\\therefore", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30997": { "content": "\\theta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30998": { "content": "\\thetaalone", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "30999": { "content": "\\thetaexplicit", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31000": { "content": "\\thetaworks", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31001": { "content": "\\tilde", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31002": { "content": "\\times", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31003": { "content": "\\timesm", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31004": { "content": "\\top", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31005": { "content": "\\triangle", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31006": { "content": "\\triangleleft", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31007": { "content": "\\triangleq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31008": { "content": "\\triangleright", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31009": { "content": "\\ulcorner", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31010": { "content": "\\underbrace", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31011": { "content": "\\underline", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31012": { "content": "\\underset", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31013": { "content": "\\unlhd", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31014": { "content": "\\unrhd", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31015": { "content": "\\uparrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31016": { "content": "\\upharpoonleft", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31017": { "content": "\\upharpoonright", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31018": { "content": "\\uplus", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31019": { "content": "\\urcorner", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31020": { "content": "\\vDash", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31021": { "content": "\\varangle", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31022": { "content": "\\varepsilon", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31023": { "content": "\\varepsilona", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31024": { "content": "\\varepsilonarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31025": { "content": "\\varepsilonarrows", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31026": { "content": "\\varinjlim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31027": { "content": "\\varkappa", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31028": { "content": "\\varliminf", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31029": { "content": "\\varlimsup", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31030": { "content": "\\varnothing", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31031": { "content": "\\varphi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31032": { "content": "\\varphiare", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31033": { "content": "\\varphiitself", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31034": { "content": "\\varphiw", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31035": { "content": "\\varpi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31036": { "content": "\\varprojlim", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31037": { "content": "\\varrho", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31038": { "content": "\\varsigma", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31039": { "content": "\\varsubsetneqq", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31040": { "content": "\\vartheta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31041": { "content": "\\varthetaa", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31042": { "content": "\\vdash", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31043": { "content": "\\vdots", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31044": { "content": "\\vec", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31045": { "content": "\\vecara", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31046": { "content": "\\vee", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31047": { "content": "\\vigvec", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31048": { "content": "\\wedge", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31049": { "content": "\\wedgeT", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31050": { "content": "\\wedgeid", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31051": { "content": "\\widehat", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31052": { "content": "\\widehatat", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31053": { "content": "\\widetilde", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31054": { "content": "\\wp", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31055": { "content": "\\xi", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31056": { "content": "\\xlongequal", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31057": { "content": "\\xrightarrow", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31058": { "content": "\\your", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false }, "31059": { "content": "\\zeta", "lstrip": false, "normalized": true, "rstrip": false, "single_word": false, "special": false } }, "clean_up_tokenization_spaces": true, "cls_token": "[CLS]", "do_lower_case": true, "mask_token": "[MASK]", "model_max_length": 512, "pad_token": "[PAD]", "sep_token": "[SEP]", "strip_accents": null, "tokenize_chinese_chars": true, "tokenizer_class": "DistilBertTokenizer", "unk_token": "[UNK]" }