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