Upload tokenizer
Browse files- added_tokens.json +540 -0
- tokenizer.json +0 -0
- tokenizer_config.json +1 -1
added_tokens.json
ADDED
|
@@ -0,0 +1,540 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"$$": 30522,
|
| 3 |
+
"\\AA": 30523,
|
| 4 |
+
"\\C": 30524,
|
| 5 |
+
"\\Delta": 30525,
|
| 6 |
+
"\\Deltatoo": 30526,
|
| 7 |
+
"\\Documents": 30527,
|
| 8 |
+
"\\Downarrow": 30528,
|
| 9 |
+
"\\Gamma": 30529,
|
| 10 |
+
"\\GammaRACT": 30530,
|
| 11 |
+
"\\Gammaacts": 30531,
|
| 12 |
+
"\\Gammadoes": 30532,
|
| 13 |
+
"\\Im": 30533,
|
| 14 |
+
"\\Lambda": 30534,
|
| 15 |
+
"\\LambdaMPLE": 30535,
|
| 16 |
+
"\\LambdaPTER": 30536,
|
| 17 |
+
"\\LambdaRK": 30537,
|
| 18 |
+
"\\LambdaYNAUD": 30538,
|
| 19 |
+
"\\Lambdamodule": 30539,
|
| 20 |
+
"\\Lambdamodules": 30540,
|
| 21 |
+
"\\Lambdappendix": 30541,
|
| 22 |
+
"\\Lambdas": 30542,
|
| 23 |
+
"\\Lambdaut": 30543,
|
| 24 |
+
"\\Leftarrow": 30544,
|
| 25 |
+
"\\Leftrightarrow": 30546,
|
| 26 |
+
"\\Longleftarrow": 30547,
|
| 27 |
+
"\\Longleftrightarrow": 30548,
|
| 28 |
+
"\\Longrightarrow": 30549,
|
| 29 |
+
"\\M": 30550,
|
| 30 |
+
"\\Math": 30551,
|
| 31 |
+
"\\Minv": 30552,
|
| 32 |
+
"\\Omega": 30553,
|
| 33 |
+
"\\Perp": 30554,
|
| 34 |
+
"\\PerpI": 30555,
|
| 35 |
+
"\\Phi": 30556,
|
| 36 |
+
"\\Pi": 30557,
|
| 37 |
+
"\\Pisentence": 30558,
|
| 38 |
+
"\\Pisentences": 30559,
|
| 39 |
+
"\\Psi": 30560,
|
| 40 |
+
"\\Psiitself": 30561,
|
| 41 |
+
"\\Psipre": 30562,
|
| 42 |
+
"\\Psir": 30563,
|
| 43 |
+
"\\Re": 30564,
|
| 44 |
+
"\\Rightarrow": 30565,
|
| 45 |
+
"\\S": 30567,
|
| 46 |
+
"\\SA": 30568,
|
| 47 |
+
"\\SD": 30569,
|
| 48 |
+
"\\SE": 30570,
|
| 49 |
+
"\\SF": 30571,
|
| 50 |
+
"\\SIII": 30572,
|
| 51 |
+
"\\SIV": 30573,
|
| 52 |
+
"\\SIX": 30574,
|
| 53 |
+
"\\SVII": 30575,
|
| 54 |
+
"\\Sigma": 30576,
|
| 55 |
+
"\\Subset": 30577,
|
| 56 |
+
"\\Theta": 30578,
|
| 57 |
+
"\\Uparrow": 30580,
|
| 58 |
+
"\\Upsilon": 30581,
|
| 59 |
+
"\\Users": 30582,
|
| 60 |
+
"\\Varangle": 30583,
|
| 61 |
+
"\\Vdash": 30584,
|
| 62 |
+
"\\Xi": 30585,
|
| 63 |
+
"\\aleph": 30586,
|
| 64 |
+
"\\alldifferent": 30587,
|
| 65 |
+
"\\alpha": 30588,
|
| 66 |
+
"\\alphapointwise": 30589,
|
| 67 |
+
"\\alphareversed": 30590,
|
| 68 |
+
"\\alphasurjective": 30591,
|
| 69 |
+
"\\amalg": 30592,
|
| 70 |
+
"\\angle": 30593,
|
| 71 |
+
"\\approx": 30594,
|
| 72 |
+
"\\arccos": 30595,
|
| 73 |
+
"\\arcsin": 30596,
|
| 74 |
+
"\\arctan": 30597,
|
| 75 |
+
"\\arg": 30598,
|
| 76 |
+
"\\ast": 30599,
|
| 77 |
+
"\\asymp": 30600,
|
| 78 |
+
"\\atop": 30601,
|
| 79 |
+
"\\backsim": 30602,
|
| 80 |
+
"\\backslash": 30603,
|
| 81 |
+
"\\bar": 30604,
|
| 82 |
+
"\\because": 30605,
|
| 83 |
+
"\\begin": 30606,
|
| 84 |
+
"\\beta": 30607,
|
| 85 |
+
"\\betaa": 30608,
|
| 86 |
+
"\\betaencharacter": 30609,
|
| 87 |
+
"\\betaencharakter": 30610,
|
| 88 |
+
"\\betaencharaktere": 30611,
|
| 89 |
+
"\\betaenoharaktere": 30612,
|
| 90 |
+
"\\betaerwesentliche": 30613,
|
| 91 |
+
"\\betaeverywhere": 30614,
|
| 92 |
+
"\\betao": 30615,
|
| 93 |
+
"\\beth": 30616,
|
| 94 |
+
"\\bigcap": 30617,
|
| 95 |
+
"\\bigcirc": 30618,
|
| 96 |
+
"\\bigcup": 30619,
|
| 97 |
+
"\\bigodot": 30620,
|
| 98 |
+
"\\bigoplus": 30621,
|
| 99 |
+
"\\bigotimes": 30622,
|
| 100 |
+
"\\bigsqcup": 30623,
|
| 101 |
+
"\\bigvee": 30624,
|
| 102 |
+
"\\bigwedge": 30625,
|
| 103 |
+
"\\binom": 30626,
|
| 104 |
+
"\\bmod": 30627,
|
| 105 |
+
"\\bmodL": 30628,
|
| 106 |
+
"\\boldsymbol": 30629,
|
| 107 |
+
"\\bowtie": 30630,
|
| 108 |
+
"\\boxminus": 30631,
|
| 109 |
+
"\\boxplus": 30632,
|
| 110 |
+
"\\boxtimes": 30633,
|
| 111 |
+
"\\breve": 30634,
|
| 112 |
+
"\\bullet": 30635,
|
| 113 |
+
"\\bumpeq": 30636,
|
| 114 |
+
"\\cap": 30637,
|
| 115 |
+
"\\capV": 30638,
|
| 116 |
+
"\\cdot": 30639,
|
| 117 |
+
"\\cdotFUNCTIONS": 30640,
|
| 118 |
+
"\\cdotideal": 30641,
|
| 119 |
+
"\\cdotr": 30642,
|
| 120 |
+
"\\cdots": 30643,
|
| 121 |
+
"\\cdotss": 30644,
|
| 122 |
+
"\\cdotvalues": 30645,
|
| 123 |
+
"\\check": 30646,
|
| 124 |
+
"\\checkmark": 30647,
|
| 125 |
+
"\\chi": 30648,
|
| 126 |
+
"\\circ": 30649,
|
| 127 |
+
"\\circdet": 30650,
|
| 128 |
+
"\\circf": 30651,
|
| 129 |
+
"\\circlearrowleft": 30652,
|
| 130 |
+
"\\circlearrowright": 30653,
|
| 131 |
+
"\\circledR": 30654,
|
| 132 |
+
"\\circledast": 30655,
|
| 133 |
+
"\\cjkend": 30656,
|
| 134 |
+
"\\cjkstart": 30657,
|
| 135 |
+
"\\cline": 30658,
|
| 136 |
+
"\\complement": 30659,
|
| 137 |
+
"\\cong": 30660,
|
| 138 |
+
"\\coprod": 30661,
|
| 139 |
+
"\\coprodAut": 30662,
|
| 140 |
+
"\\coprodU": 30663,
|
| 141 |
+
"\\cos": 30664,
|
| 142 |
+
"\\cosh": 30665,
|
| 143 |
+
"\\cot": 30666,
|
| 144 |
+
"\\cox": 30667,
|
| 145 |
+
"\\csc": 30668,
|
| 146 |
+
"\\cup": 30669,
|
| 147 |
+
"\\curlyvee": 30670,
|
| 148 |
+
"\\curlywedge": 30671,
|
| 149 |
+
"\\curvearrowleft": 30672,
|
| 150 |
+
"\\curvearrowright": 30673,
|
| 151 |
+
"\\dagger": 30674,
|
| 152 |
+
"\\dashv": 30675,
|
| 153 |
+
"\\ddagger": 30676,
|
| 154 |
+
"\\dddo": 30677,
|
| 155 |
+
"\\dddot": 30678,
|
| 156 |
+
"\\ddo": 30679,
|
| 157 |
+
"\\ddot": 30680,
|
| 158 |
+
"\\ddots": 30681,
|
| 159 |
+
"\\delta": 30682,
|
| 160 |
+
"\\deltafunctor": 30683,
|
| 161 |
+
"\\diamond": 30684,
|
| 162 |
+
"\\digamma": 30685,
|
| 163 |
+
"\\directory": 30686,
|
| 164 |
+
"\\div": 30687,
|
| 165 |
+
"\\dot": 30688,
|
| 166 |
+
"\\doteq": 30689,
|
| 167 |
+
"\\doteqdot": 30690,
|
| 168 |
+
"\\dots": 30691,
|
| 169 |
+
"\\downarrow": 30692,
|
| 170 |
+
"\\downharpoonright": 30693,
|
| 171 |
+
"\\ell": 30694,
|
| 172 |
+
"\\ellholds": 30695,
|
| 173 |
+
"\\ellrepresentation": 30696,
|
| 174 |
+
"\\emptyset": 30697,
|
| 175 |
+
"\\end": 30698,
|
| 176 |
+
"\\epsilon": 30699,
|
| 177 |
+
"\\epsilonKer": 30700,
|
| 178 |
+
"\\equiv": 30701,
|
| 179 |
+
"\\eta": 30702,
|
| 180 |
+
"\\ex": 30703,
|
| 181 |
+
"\\exists": 30704,
|
| 182 |
+
"\\existsc": 30705,
|
| 183 |
+
"\\existsclosed": 30706,
|
| 184 |
+
"\\exp": 30707,
|
| 185 |
+
"\\fallingdotseq": 30708,
|
| 186 |
+
"\\forall": 30709,
|
| 187 |
+
"\\forallsomething": 30710,
|
| 188 |
+
"\\frac": 30711,
|
| 189 |
+
"\\frown": 30712,
|
| 190 |
+
"\\gamma": 30713,
|
| 191 |
+
"\\gammavalues": 30714,
|
| 192 |
+
"\\gcd": 30715,
|
| 193 |
+
"\\geq": 30716,
|
| 194 |
+
"\\geqq": 30717,
|
| 195 |
+
"\\geqslant": 30718,
|
| 196 |
+
"\\gg": 30719,
|
| 197 |
+
"\\grave": 30720,
|
| 198 |
+
"\\gtrdot": 30721,
|
| 199 |
+
"\\gtreqless": 30722,
|
| 200 |
+
"\\gtrless": 30723,
|
| 201 |
+
"\\gtrsim": 30724,
|
| 202 |
+
"\\hat": 30725,
|
| 203 |
+
"\\hbar": 30726,
|
| 204 |
+
"\\hdashline": 30727,
|
| 205 |
+
"\\hline": 30728,
|
| 206 |
+
"\\hlinee": 30729,
|
| 207 |
+
"\\hookleftarrow": 30730,
|
| 208 |
+
"\\hookrightarrow": 30731,
|
| 209 |
+
"\\hyunj": 30732,
|
| 210 |
+
"\\iiint": 30733,
|
| 211 |
+
"\\iint": 30734,
|
| 212 |
+
"\\imath": 30735,
|
| 213 |
+
"\\in": 30736,
|
| 214 |
+
"\\inG": 30737,
|
| 215 |
+
"\\inMag": 30738,
|
| 216 |
+
"\\inX": 30739,
|
| 217 |
+
"\\inf": 30740,
|
| 218 |
+
"\\infty": 30741,
|
| 219 |
+
"\\inftyalso": 30742,
|
| 220 |
+
"\\inftyo": 30743,
|
| 221 |
+
"\\inftyramifies": 30744,
|
| 222 |
+
"\\inm": 30745,
|
| 223 |
+
"\\inn": 30746,
|
| 224 |
+
"\\int": 30747,
|
| 225 |
+
"\\intormula": 30748,
|
| 226 |
+
"\\iota": 30749,
|
| 227 |
+
"\\jmath": 30750,
|
| 228 |
+
"\\kappa": 30751,
|
| 229 |
+
"\\kappai": 30752,
|
| 230 |
+
"\\kappath": 30753,
|
| 231 |
+
"\\lambda": 30754,
|
| 232 |
+
"\\lambdaa": 30755,
|
| 233 |
+
"\\lambdafinite": 30756,
|
| 234 |
+
"\\lambdasemiring": 30757,
|
| 235 |
+
"\\langle": 30758,
|
| 236 |
+
"\\langlee": 30759,
|
| 237 |
+
"\\langleu": 30760,
|
| 238 |
+
"\\langley": 30761,
|
| 239 |
+
"\\latex": 30762,
|
| 240 |
+
"\\lceil": 30763,
|
| 241 |
+
"\\lceilk": 30764,
|
| 242 |
+
"\\lceiln": 30765,
|
| 243 |
+
"\\lcm": 30766,
|
| 244 |
+
"\\ldot": 30767,
|
| 245 |
+
"\\ldots": 30768,
|
| 246 |
+
"\\ldotsPROOF": 30769,
|
| 247 |
+
"\\ldotsetc": 30770,
|
| 248 |
+
"\\leadsto": 30771,
|
| 249 |
+
"\\left": 30772,
|
| 250 |
+
"\\leftarrow": 30545,
|
| 251 |
+
"\\leftleftarrows": 30773,
|
| 252 |
+
"\\leftrightarrow": 30774,
|
| 253 |
+
"\\leftrightarrows": 30775,
|
| 254 |
+
"\\leftrightharpoons": 30776,
|
| 255 |
+
"\\leq": 30777,
|
| 256 |
+
"\\leqq": 30778,
|
| 257 |
+
"\\leqslant": 30779,
|
| 258 |
+
"\\lessdot": 30780,
|
| 259 |
+
"\\lesseqgtr": 30781,
|
| 260 |
+
"\\lessgtr": 30782,
|
| 261 |
+
"\\lesssim": 30783,
|
| 262 |
+
"\\lfloor": 30784,
|
| 263 |
+
"\\lg": 30785,
|
| 264 |
+
"\\lim": 30786,
|
| 265 |
+
"\\liminf": 30787,
|
| 266 |
+
"\\limsup": 30788,
|
| 267 |
+
"\\ll": 30789,
|
| 268 |
+
"\\llbracket": 30790,
|
| 269 |
+
"\\llcorner": 30791,
|
| 270 |
+
"\\lll": 30792,
|
| 271 |
+
"\\ln": 30793,
|
| 272 |
+
"\\log": 30794,
|
| 273 |
+
"\\longdiv": 30795,
|
| 274 |
+
"\\longleftarrow": 30796,
|
| 275 |
+
"\\longleftrightarrow": 30797,
|
| 276 |
+
"\\longleftrightarrowEfi": 30798,
|
| 277 |
+
"\\longmapsto": 30799,
|
| 278 |
+
"\\longmapstomult": 30800,
|
| 279 |
+
"\\longrightarrow": 30801,
|
| 280 |
+
"\\lrcorner": 30802,
|
| 281 |
+
"\\ltimes": 30803,
|
| 282 |
+
"\\lvert": 30804,
|
| 283 |
+
"\\mapsto": 30805,
|
| 284 |
+
"\\mapstoW": 30806,
|
| 285 |
+
"\\mathbb": 30807,
|
| 286 |
+
"\\mathbbR": 30808,
|
| 287 |
+
"\\mathbbZrank": 30809,
|
| 288 |
+
"\\mathbbZtakes": 30810,
|
| 289 |
+
"\\mathbbl": 30811,
|
| 290 |
+
"\\mathbf": 30812,
|
| 291 |
+
"\\mathcal": 30813,
|
| 292 |
+
"\\mathcalM": 30814,
|
| 293 |
+
"\\mathcalom": 30815,
|
| 294 |
+
"\\mathfrak": 30816,
|
| 295 |
+
"\\mathrm": 30817,
|
| 296 |
+
"\\mathscr": 30818,
|
| 297 |
+
"\\mathscrB": 30819,
|
| 298 |
+
"\\mathscrS": 30820,
|
| 299 |
+
"\\mathscrf": 30821,
|
| 300 |
+
"\\matshcr": 30822,
|
| 301 |
+
"\\max": 30823,
|
| 302 |
+
"\\measuredangle": 30824,
|
| 303 |
+
"\\mho": 30825,
|
| 304 |
+
"\\mid": 30826,
|
| 305 |
+
"\\min": 30827,
|
| 306 |
+
"\\models": 30828,
|
| 307 |
+
"\\mp": 30829,
|
| 308 |
+
"\\mu": 30830,
|
| 309 |
+
"\\mudominant": 30831,
|
| 310 |
+
"\\muexists": 30832,
|
| 311 |
+
"\\mufinite": 30833,
|
| 312 |
+
"\\multicolumn": 30834,
|
| 313 |
+
"\\multimap": 30835,
|
| 314 |
+
"\\multirow": 30836,
|
| 315 |
+
"\\n": 30837,
|
| 316 |
+
"\\nLeftarrow": 30838,
|
| 317 |
+
"\\nRightarrow": 30839,
|
| 318 |
+
"\\nVdash": 30840,
|
| 319 |
+
"\\nabla": 30841,
|
| 320 |
+
"\\natural": 30842,
|
| 321 |
+
"\\nearrow": 30843,
|
| 322 |
+
"\\neg": 30844,
|
| 323 |
+
"\\neq": 30845,
|
| 324 |
+
"\\neqId": 30846,
|
| 325 |
+
"\\neqid": 30847,
|
| 326 |
+
"\\nexists": 30848,
|
| 327 |
+
"\\ngtr": 30849,
|
| 328 |
+
"\\ni": 30850,
|
| 329 |
+
"\\nleftarrow": 30851,
|
| 330 |
+
"\\nless": 30852,
|
| 331 |
+
"\\nmid": 30853,
|
| 332 |
+
"\\nmidDisc": 30854,
|
| 333 |
+
"\\not": 30855,
|
| 334 |
+
"\\notin": 30856,
|
| 335 |
+
"\\nprec": 30857,
|
| 336 |
+
"\\npreceq": 30858,
|
| 337 |
+
"\\nrightarrow": 30859,
|
| 338 |
+
"\\nsim": 30860,
|
| 339 |
+
"\\nsubseteq": 30861,
|
| 340 |
+
"\\nsucc": 30862,
|
| 341 |
+
"\\nsucceq": 30863,
|
| 342 |
+
"\\nsupseteq": 30864,
|
| 343 |
+
"\\nu": 30865,
|
| 344 |
+
"\\nvdash": 30866,
|
| 345 |
+
"\\nwarrow": 30867,
|
| 346 |
+
"\\odot": 30868,
|
| 347 |
+
"\\oepratorname": 30869,
|
| 348 |
+
"\\oiiint": 30870,
|
| 349 |
+
"\\oiint": 30871,
|
| 350 |
+
"\\oint": 30872,
|
| 351 |
+
"\\omega": 30873,
|
| 352 |
+
"\\omegaest": 30874,
|
| 353 |
+
"\\ominus": 30875,
|
| 354 |
+
"\\operatorname": 30876,
|
| 355 |
+
"\\operatornamemap": 30877,
|
| 356 |
+
"\\oplus": 30878,
|
| 357 |
+
"\\oslash": 30879,
|
| 358 |
+
"\\otimes": 30880,
|
| 359 |
+
"\\otimese": 30881,
|
| 360 |
+
"\\overbrace": 30882,
|
| 361 |
+
"\\overleftarrow": 30883,
|
| 362 |
+
"\\overleftrightarrow": 30884,
|
| 363 |
+
"\\overlin": 30885,
|
| 364 |
+
"\\overline": 30886,
|
| 365 |
+
"\\overparen": 30887,
|
| 366 |
+
"\\overrightarrow": 30888,
|
| 367 |
+
"\\p": 30889,
|
| 368 |
+
"\\parallel": 30890,
|
| 369 |
+
"\\partial": 30891,
|
| 370 |
+
"\\partialM": 30892,
|
| 371 |
+
"\\partiala": 30893,
|
| 372 |
+
"\\partialb": 30894,
|
| 373 |
+
"\\perp": 30895,
|
| 374 |
+
"\\phi": 30896,
|
| 375 |
+
"\\phicommute": 30897,
|
| 376 |
+
"\\pi": 30898,
|
| 377 |
+
"\\pifinite": 30899,
|
| 378 |
+
"\\pitchfork": 30900,
|
| 379 |
+
"\\pitwist": 30901,
|
| 380 |
+
"\\pm": 30902,
|
| 381 |
+
"\\prec": 30903,
|
| 382 |
+
"\\preccurlyeq": 30904,
|
| 383 |
+
"\\preceq": 30905,
|
| 384 |
+
"\\precsim": 30906,
|
| 385 |
+
"\\prime": 30907,
|
| 386 |
+
"\\prod": 30908,
|
| 387 |
+
"\\propto": 30909,
|
| 388 |
+
"\\psi": 30910,
|
| 389 |
+
"\\psidoes": 30911,
|
| 390 |
+
"\\qquad": 30912,
|
| 391 |
+
"\\qua": 30913,
|
| 392 |
+
"\\quad": 30914,
|
| 393 |
+
"\\quada": 30915,
|
| 394 |
+
"\\rangle": 30916,
|
| 395 |
+
"\\rceil": 30917,
|
| 396 |
+
"\\rfloor": 30918,
|
| 397 |
+
"\\rho": 30919,
|
| 398 |
+
"\\rhofollows": 30920,
|
| 399 |
+
"\\rhooperator": 30921,
|
| 400 |
+
"\\right": 30922,
|
| 401 |
+
"\\rightarrow": 30566,
|
| 402 |
+
"\\rightarrowA": 30923,
|
| 403 |
+
"\\rightarrowC": 30924,
|
| 404 |
+
"\\rightarrowFinord": 30925,
|
| 405 |
+
"\\rightarrowSet": 30926,
|
| 406 |
+
"\\rightarrowSets": 30927,
|
| 407 |
+
"\\rightarrowf": 30928,
|
| 408 |
+
"\\rightharpoonup": 30929,
|
| 409 |
+
"\\rightleftarrows": 30930,
|
| 410 |
+
"\\rightleftharpoons": 30931,
|
| 411 |
+
"\\rightrightarrows": 30932,
|
| 412 |
+
"\\rightsquigarrow": 30933,
|
| 413 |
+
"\\risingdotseq": 30934,
|
| 414 |
+
"\\rrbracket": 30935,
|
| 415 |
+
"\\rtimes": 30936,
|
| 416 |
+
"\\rvert": 30937,
|
| 417 |
+
"\\searrow": 30938,
|
| 418 |
+
"\\sec": 30939,
|
| 419 |
+
"\\section": 30940,
|
| 420 |
+
"\\setminus": 30941,
|
| 421 |
+
"\\sharp": 30942,
|
| 422 |
+
"\\sigma": 30943,
|
| 423 |
+
"\\sim": 30944,
|
| 424 |
+
"\\simeq": 30945,
|
| 425 |
+
"\\simeqid": 30946,
|
| 426 |
+
"\\simr": 30947,
|
| 427 |
+
"\\sin": 30948,
|
| 428 |
+
"\\sinh": 30949,
|
| 429 |
+
"\\smile": 30950,
|
| 430 |
+
"\\sqcap": 30951,
|
| 431 |
+
"\\sqcup": 30952,
|
| 432 |
+
"\\sqrt": 30953,
|
| 433 |
+
"\\sqsubset": 30954,
|
| 434 |
+
"\\sqsubseteq": 30955,
|
| 435 |
+
"\\sqsupset": 30956,
|
| 436 |
+
"\\sqsupseteq": 30957,
|
| 437 |
+
"\\square": 30958,
|
| 438 |
+
"\\stackrel": 30959,
|
| 439 |
+
"\\star": 30960,
|
| 440 |
+
"\\starEXERCISE": 30961,
|
| 441 |
+
"\\subsection": 30962,
|
| 442 |
+
"\\subset": 30963,
|
| 443 |
+
"\\subsetA": 30964,
|
| 444 |
+
"\\subsetM": 30965,
|
| 445 |
+
"\\subseteq": 30966,
|
| 446 |
+
"\\subseteqW": 30967,
|
| 447 |
+
"\\subsetneq": 30968,
|
| 448 |
+
"\\substack": 30969,
|
| 449 |
+
"\\subsubsection": 30970,
|
| 450 |
+
"\\succ": 30971,
|
| 451 |
+
"\\succcurlyeq": 30972,
|
| 452 |
+
"\\succeq": 30973,
|
| 453 |
+
"\\succsim": 30974,
|
| 454 |
+
"\\sum": 30975,
|
| 455 |
+
"\\sup": 30976,
|
| 456 |
+
"\\supset": 30977,
|
| 457 |
+
"\\supseteq": 30978,
|
| 458 |
+
"\\supseteqq": 30979,
|
| 459 |
+
"\\supsetneq": 30980,
|
| 460 |
+
"\\supsetneqq": 30981,
|
| 461 |
+
"\\swarrow": 30982,
|
| 462 |
+
"\\tag": 30983,
|
| 463 |
+
"\\tan": 30984,
|
| 464 |
+
"\\tanh": 30985,
|
| 465 |
+
"\\tau": 30986,
|
| 466 |
+
"\\taualent": 30987,
|
| 467 |
+
"\\tauariety": 30988,
|
| 468 |
+
"\\tauphism": 30989,
|
| 469 |
+
"\\tauphistn": 30990,
|
| 470 |
+
"\\taupure": 30991,
|
| 471 |
+
"\\text": 30992,
|
| 472 |
+
"\\textbf": 30993,
|
| 473 |
+
"\\textrm": 30994,
|
| 474 |
+
"\\textrmK": 30995,
|
| 475 |
+
"\\therefore": 30996,
|
| 476 |
+
"\\theta": 30997,
|
| 477 |
+
"\\thetaalone": 30998,
|
| 478 |
+
"\\thetaexplicit": 30999,
|
| 479 |
+
"\\thetaworks": 31000,
|
| 480 |
+
"\\tilde": 31001,
|
| 481 |
+
"\\times": 31002,
|
| 482 |
+
"\\timesm": 31003,
|
| 483 |
+
"\\to": 30579,
|
| 484 |
+
"\\top": 31004,
|
| 485 |
+
"\\triangle": 31005,
|
| 486 |
+
"\\triangleleft": 31006,
|
| 487 |
+
"\\triangleq": 31007,
|
| 488 |
+
"\\triangleright": 31008,
|
| 489 |
+
"\\ulcorner": 31009,
|
| 490 |
+
"\\underbrace": 31010,
|
| 491 |
+
"\\underline": 31011,
|
| 492 |
+
"\\underset": 31012,
|
| 493 |
+
"\\unlhd": 31013,
|
| 494 |
+
"\\unrhd": 31014,
|
| 495 |
+
"\\uparrow": 31015,
|
| 496 |
+
"\\upharpoonleft": 31016,
|
| 497 |
+
"\\upharpoonright": 31017,
|
| 498 |
+
"\\uplus": 31018,
|
| 499 |
+
"\\urcorner": 31019,
|
| 500 |
+
"\\vDash": 31020,
|
| 501 |
+
"\\varangle": 31021,
|
| 502 |
+
"\\varepsilon": 31022,
|
| 503 |
+
"\\varepsilona": 31023,
|
| 504 |
+
"\\varepsilonarrow": 31024,
|
| 505 |
+
"\\varepsilonarrows": 31025,
|
| 506 |
+
"\\varinjlim": 31026,
|
| 507 |
+
"\\varkappa": 31027,
|
| 508 |
+
"\\varliminf": 31028,
|
| 509 |
+
"\\varlimsup": 31029,
|
| 510 |
+
"\\varnothing": 31030,
|
| 511 |
+
"\\varphi": 31031,
|
| 512 |
+
"\\varphiare": 31032,
|
| 513 |
+
"\\varphiitself": 31033,
|
| 514 |
+
"\\varphiw": 31034,
|
| 515 |
+
"\\varpi": 31035,
|
| 516 |
+
"\\varprojlim": 31036,
|
| 517 |
+
"\\varrho": 31037,
|
| 518 |
+
"\\varsigma": 31038,
|
| 519 |
+
"\\varsubsetneqq": 31039,
|
| 520 |
+
"\\vartheta": 31040,
|
| 521 |
+
"\\varthetaa": 31041,
|
| 522 |
+
"\\vdash": 31042,
|
| 523 |
+
"\\vdots": 31043,
|
| 524 |
+
"\\vec": 31044,
|
| 525 |
+
"\\vecara": 31045,
|
| 526 |
+
"\\vee": 31046,
|
| 527 |
+
"\\vigvec": 31047,
|
| 528 |
+
"\\wedge": 31048,
|
| 529 |
+
"\\wedgeT": 31049,
|
| 530 |
+
"\\wedgeid": 31050,
|
| 531 |
+
"\\widehat": 31051,
|
| 532 |
+
"\\widehatat": 31052,
|
| 533 |
+
"\\widetilde": 31053,
|
| 534 |
+
"\\wp": 31054,
|
| 535 |
+
"\\xi": 31055,
|
| 536 |
+
"\\xlongequal": 31056,
|
| 537 |
+
"\\xrightarrow": 31057,
|
| 538 |
+
"\\your": 31058,
|
| 539 |
+
"\\zeta": 31059
|
| 540 |
+
}
|
tokenizer.json
CHANGED
|
The diff for this file is too large to render.
See raw diff
|
|
|
tokenizer_config.json
CHANGED
|
@@ -3,7 +3,7 @@
|
|
| 3 |
"do_lower_case": true,
|
| 4 |
"mask_token": "[MASK]",
|
| 5 |
"model_max_length": 512,
|
| 6 |
-
"name_or_path": "models/
|
| 7 |
"pad_token": "[PAD]",
|
| 8 |
"sep_token": "[SEP]",
|
| 9 |
"special_tokens_map_file": null,
|
|
|
|
| 3 |
"do_lower_case": true,
|
| 4 |
"mask_token": "[MASK]",
|
| 5 |
"model_max_length": 512,
|
| 6 |
+
"name_or_path": "models/def_notat_token_model_2024_05_26_5",
|
| 7 |
"pad_token": "[PAD]",
|
| 8 |
"sep_token": "[SEP]",
|
| 9 |
"special_tokens_map_file": null,
|