Commit
•
19df38e
1
Parent(s):
a97d5ab
Upload tokenizer
Browse files- added_tokens.json +538 -4
- tokenizer.json +0 -0
- tokenizer_config.json +1 -1
added_tokens.json
CHANGED
|
@@ -1,6 +1,540 @@
|
|
| 1 |
{
|
| 2 |
-
"
|
| 3 |
-
"
|
| 4 |
-
"
|
| 5 |
-
"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 6 |
}
|
|
|
|
| 1 |
{
|
| 2 |
+
"$$": 32100,
|
| 3 |
+
"\\AA": 32101,
|
| 4 |
+
"\\C": 32102,
|
| 5 |
+
"\\Delta": 32103,
|
| 6 |
+
"\\Deltatoo": 32104,
|
| 7 |
+
"\\Documents": 32105,
|
| 8 |
+
"\\Downarrow": 32106,
|
| 9 |
+
"\\Gamma": 32107,
|
| 10 |
+
"\\GammaRACT": 32108,
|
| 11 |
+
"\\Gammaacts": 32109,
|
| 12 |
+
"\\Gammadoes": 32110,
|
| 13 |
+
"\\Im": 32111,
|
| 14 |
+
"\\Lambda": 32112,
|
| 15 |
+
"\\LambdaMPLE": 32113,
|
| 16 |
+
"\\LambdaPTER": 32114,
|
| 17 |
+
"\\LambdaRK": 32115,
|
| 18 |
+
"\\LambdaYNAUD": 32116,
|
| 19 |
+
"\\Lambdamodule": 32117,
|
| 20 |
+
"\\Lambdamodules": 32118,
|
| 21 |
+
"\\Lambdappendix": 32119,
|
| 22 |
+
"\\Lambdas": 32120,
|
| 23 |
+
"\\Lambdaut": 32121,
|
| 24 |
+
"\\Leftarrow": 32122,
|
| 25 |
+
"\\Leftrightarrow": 32124,
|
| 26 |
+
"\\Longleftarrow": 32125,
|
| 27 |
+
"\\Longleftrightarrow": 32126,
|
| 28 |
+
"\\Longrightarrow": 32127,
|
| 29 |
+
"\\M": 32128,
|
| 30 |
+
"\\Math": 32129,
|
| 31 |
+
"\\Minv": 32130,
|
| 32 |
+
"\\Omega": 32131,
|
| 33 |
+
"\\Perp": 32132,
|
| 34 |
+
"\\PerpI": 32133,
|
| 35 |
+
"\\Phi": 32134,
|
| 36 |
+
"\\Pi": 32135,
|
| 37 |
+
"\\Pisentence": 32136,
|
| 38 |
+
"\\Pisentences": 32137,
|
| 39 |
+
"\\Psi": 32138,
|
| 40 |
+
"\\Psiitself": 32139,
|
| 41 |
+
"\\Psipre": 32140,
|
| 42 |
+
"\\Psir": 32141,
|
| 43 |
+
"\\Re": 32142,
|
| 44 |
+
"\\Rightarrow": 32143,
|
| 45 |
+
"\\S": 32145,
|
| 46 |
+
"\\SA": 32146,
|
| 47 |
+
"\\SD": 32147,
|
| 48 |
+
"\\SE": 32148,
|
| 49 |
+
"\\SF": 32149,
|
| 50 |
+
"\\SIII": 32150,
|
| 51 |
+
"\\SIV": 32151,
|
| 52 |
+
"\\SIX": 32152,
|
| 53 |
+
"\\SVII": 32153,
|
| 54 |
+
"\\Sigma": 32154,
|
| 55 |
+
"\\Subset": 32155,
|
| 56 |
+
"\\Theta": 32156,
|
| 57 |
+
"\\Uparrow": 32158,
|
| 58 |
+
"\\Upsilon": 32159,
|
| 59 |
+
"\\Users": 32160,
|
| 60 |
+
"\\Varangle": 32161,
|
| 61 |
+
"\\Vdash": 32162,
|
| 62 |
+
"\\Xi": 32163,
|
| 63 |
+
"\\aleph": 32164,
|
| 64 |
+
"\\alldifferent": 32165,
|
| 65 |
+
"\\alpha": 32166,
|
| 66 |
+
"\\alphapointwise": 32167,
|
| 67 |
+
"\\alphareversed": 32168,
|
| 68 |
+
"\\alphasurjective": 32169,
|
| 69 |
+
"\\amalg": 32170,
|
| 70 |
+
"\\angle": 32171,
|
| 71 |
+
"\\approx": 32172,
|
| 72 |
+
"\\arccos": 32173,
|
| 73 |
+
"\\arcsin": 32174,
|
| 74 |
+
"\\arctan": 32175,
|
| 75 |
+
"\\arg": 32176,
|
| 76 |
+
"\\ast": 32177,
|
| 77 |
+
"\\asymp": 32178,
|
| 78 |
+
"\\atop": 32179,
|
| 79 |
+
"\\backsim": 32180,
|
| 80 |
+
"\\backslash": 32181,
|
| 81 |
+
"\\bar": 32182,
|
| 82 |
+
"\\because": 32183,
|
| 83 |
+
"\\begin": 32184,
|
| 84 |
+
"\\beta": 32185,
|
| 85 |
+
"\\betaa": 32186,
|
| 86 |
+
"\\betaencharacter": 32187,
|
| 87 |
+
"\\betaencharakter": 32188,
|
| 88 |
+
"\\betaencharaktere": 32189,
|
| 89 |
+
"\\betaenoharaktere": 32190,
|
| 90 |
+
"\\betaerwesentliche": 32191,
|
| 91 |
+
"\\betaeverywhere": 32192,
|
| 92 |
+
"\\betao": 32193,
|
| 93 |
+
"\\beth": 32194,
|
| 94 |
+
"\\bigcap": 32195,
|
| 95 |
+
"\\bigcirc": 32196,
|
| 96 |
+
"\\bigcup": 32197,
|
| 97 |
+
"\\bigodot": 32198,
|
| 98 |
+
"\\bigoplus": 32199,
|
| 99 |
+
"\\bigotimes": 32200,
|
| 100 |
+
"\\bigsqcup": 32201,
|
| 101 |
+
"\\bigvee": 32202,
|
| 102 |
+
"\\bigwedge": 32203,
|
| 103 |
+
"\\binom": 32204,
|
| 104 |
+
"\\bmod": 32205,
|
| 105 |
+
"\\bmodL": 32206,
|
| 106 |
+
"\\boldsymbol": 32207,
|
| 107 |
+
"\\bowtie": 32208,
|
| 108 |
+
"\\boxminus": 32209,
|
| 109 |
+
"\\boxplus": 32210,
|
| 110 |
+
"\\boxtimes": 32211,
|
| 111 |
+
"\\breve": 32212,
|
| 112 |
+
"\\bullet": 32213,
|
| 113 |
+
"\\bumpeq": 32214,
|
| 114 |
+
"\\cap": 32215,
|
| 115 |
+
"\\capV": 32216,
|
| 116 |
+
"\\cdot": 32217,
|
| 117 |
+
"\\cdotFUNCTIONS": 32218,
|
| 118 |
+
"\\cdotideal": 32219,
|
| 119 |
+
"\\cdotr": 32220,
|
| 120 |
+
"\\cdots": 32221,
|
| 121 |
+
"\\cdotss": 32222,
|
| 122 |
+
"\\cdotvalues": 32223,
|
| 123 |
+
"\\check": 32224,
|
| 124 |
+
"\\checkmark": 32225,
|
| 125 |
+
"\\chi": 32226,
|
| 126 |
+
"\\circ": 32227,
|
| 127 |
+
"\\circdet": 32228,
|
| 128 |
+
"\\circf": 32229,
|
| 129 |
+
"\\circlearrowleft": 32230,
|
| 130 |
+
"\\circlearrowright": 32231,
|
| 131 |
+
"\\circledR": 32232,
|
| 132 |
+
"\\circledast": 32233,
|
| 133 |
+
"\\cjkend": 32234,
|
| 134 |
+
"\\cjkstart": 32235,
|
| 135 |
+
"\\cline": 32236,
|
| 136 |
+
"\\complement": 32237,
|
| 137 |
+
"\\cong": 32238,
|
| 138 |
+
"\\coprod": 32239,
|
| 139 |
+
"\\coprodAut": 32240,
|
| 140 |
+
"\\coprodU": 32241,
|
| 141 |
+
"\\cos": 32242,
|
| 142 |
+
"\\cosh": 32243,
|
| 143 |
+
"\\cot": 32244,
|
| 144 |
+
"\\cox": 32245,
|
| 145 |
+
"\\csc": 32246,
|
| 146 |
+
"\\cup": 32247,
|
| 147 |
+
"\\curlyvee": 32248,
|
| 148 |
+
"\\curlywedge": 32249,
|
| 149 |
+
"\\curvearrowleft": 32250,
|
| 150 |
+
"\\curvearrowright": 32251,
|
| 151 |
+
"\\dagger": 32252,
|
| 152 |
+
"\\dashv": 32253,
|
| 153 |
+
"\\ddagger": 32254,
|
| 154 |
+
"\\dddo": 32255,
|
| 155 |
+
"\\dddot": 32256,
|
| 156 |
+
"\\ddo": 32257,
|
| 157 |
+
"\\ddot": 32258,
|
| 158 |
+
"\\ddots": 32259,
|
| 159 |
+
"\\delta": 32260,
|
| 160 |
+
"\\deltafunctor": 32261,
|
| 161 |
+
"\\diamond": 32262,
|
| 162 |
+
"\\digamma": 32263,
|
| 163 |
+
"\\directory": 32264,
|
| 164 |
+
"\\div": 32265,
|
| 165 |
+
"\\dot": 32266,
|
| 166 |
+
"\\doteq": 32267,
|
| 167 |
+
"\\doteqdot": 32268,
|
| 168 |
+
"\\dots": 32269,
|
| 169 |
+
"\\downarrow": 32270,
|
| 170 |
+
"\\downharpoonright": 32271,
|
| 171 |
+
"\\ell": 32272,
|
| 172 |
+
"\\ellholds": 32273,
|
| 173 |
+
"\\ellrepresentation": 32274,
|
| 174 |
+
"\\emptyset": 32275,
|
| 175 |
+
"\\end": 32276,
|
| 176 |
+
"\\epsilon": 32277,
|
| 177 |
+
"\\epsilonKer": 32278,
|
| 178 |
+
"\\equiv": 32279,
|
| 179 |
+
"\\eta": 32280,
|
| 180 |
+
"\\ex": 32281,
|
| 181 |
+
"\\exists": 32282,
|
| 182 |
+
"\\existsc": 32283,
|
| 183 |
+
"\\existsclosed": 32284,
|
| 184 |
+
"\\exp": 32285,
|
| 185 |
+
"\\fallingdotseq": 32286,
|
| 186 |
+
"\\forall": 32287,
|
| 187 |
+
"\\forallsomething": 32288,
|
| 188 |
+
"\\frac": 32289,
|
| 189 |
+
"\\frown": 32290,
|
| 190 |
+
"\\gamma": 32291,
|
| 191 |
+
"\\gammavalues": 32292,
|
| 192 |
+
"\\gcd": 32293,
|
| 193 |
+
"\\geq": 32294,
|
| 194 |
+
"\\geqq": 32295,
|
| 195 |
+
"\\geqslant": 32296,
|
| 196 |
+
"\\gg": 32297,
|
| 197 |
+
"\\grave": 32298,
|
| 198 |
+
"\\gtrdot": 32299,
|
| 199 |
+
"\\gtreqless": 32300,
|
| 200 |
+
"\\gtrless": 32301,
|
| 201 |
+
"\\gtrsim": 32302,
|
| 202 |
+
"\\hat": 32303,
|
| 203 |
+
"\\hbar": 32304,
|
| 204 |
+
"\\hdashline": 32305,
|
| 205 |
+
"\\hline": 32306,
|
| 206 |
+
"\\hlinee": 32307,
|
| 207 |
+
"\\hookleftarrow": 32308,
|
| 208 |
+
"\\hookrightarrow": 32309,
|
| 209 |
+
"\\hyunj": 32310,
|
| 210 |
+
"\\iiint": 32311,
|
| 211 |
+
"\\iint": 32312,
|
| 212 |
+
"\\imath": 32313,
|
| 213 |
+
"\\in": 32314,
|
| 214 |
+
"\\inG": 32315,
|
| 215 |
+
"\\inMag": 32316,
|
| 216 |
+
"\\inX": 32317,
|
| 217 |
+
"\\inf": 32318,
|
| 218 |
+
"\\infty": 32319,
|
| 219 |
+
"\\inftyalso": 32320,
|
| 220 |
+
"\\inftyo": 32321,
|
| 221 |
+
"\\inftyramifies": 32322,
|
| 222 |
+
"\\inm": 32323,
|
| 223 |
+
"\\inn": 32324,
|
| 224 |
+
"\\int": 32325,
|
| 225 |
+
"\\intormula": 32326,
|
| 226 |
+
"\\iota": 32327,
|
| 227 |
+
"\\jmath": 32328,
|
| 228 |
+
"\\kappa": 32329,
|
| 229 |
+
"\\kappai": 32330,
|
| 230 |
+
"\\kappath": 32331,
|
| 231 |
+
"\\lambda": 32332,
|
| 232 |
+
"\\lambdaa": 32333,
|
| 233 |
+
"\\lambdafinite": 32334,
|
| 234 |
+
"\\lambdasemiring": 32335,
|
| 235 |
+
"\\langle": 32336,
|
| 236 |
+
"\\langlee": 32337,
|
| 237 |
+
"\\langleu": 32338,
|
| 238 |
+
"\\langley": 32339,
|
| 239 |
+
"\\latex": 32340,
|
| 240 |
+
"\\lceil": 32341,
|
| 241 |
+
"\\lceilk": 32342,
|
| 242 |
+
"\\lceiln": 32343,
|
| 243 |
+
"\\lcm": 32344,
|
| 244 |
+
"\\ldot": 32345,
|
| 245 |
+
"\\ldots": 32346,
|
| 246 |
+
"\\ldotsPROOF": 32347,
|
| 247 |
+
"\\ldotsetc": 32348,
|
| 248 |
+
"\\leadsto": 32349,
|
| 249 |
+
"\\left": 32350,
|
| 250 |
+
"\\leftarrow": 32123,
|
| 251 |
+
"\\leftleftarrows": 32351,
|
| 252 |
+
"\\leftrightarrow": 32352,
|
| 253 |
+
"\\leftrightarrows": 32353,
|
| 254 |
+
"\\leftrightharpoons": 32354,
|
| 255 |
+
"\\leq": 32355,
|
| 256 |
+
"\\leqq": 32356,
|
| 257 |
+
"\\leqslant": 32357,
|
| 258 |
+
"\\lessdot": 32358,
|
| 259 |
+
"\\lesseqgtr": 32359,
|
| 260 |
+
"\\lessgtr": 32360,
|
| 261 |
+
"\\lesssim": 32361,
|
| 262 |
+
"\\lfloor": 32362,
|
| 263 |
+
"\\lg": 32363,
|
| 264 |
+
"\\lim": 32364,
|
| 265 |
+
"\\liminf": 32365,
|
| 266 |
+
"\\limsup": 32366,
|
| 267 |
+
"\\ll": 32367,
|
| 268 |
+
"\\llbracket": 32368,
|
| 269 |
+
"\\llcorner": 32369,
|
| 270 |
+
"\\lll": 32370,
|
| 271 |
+
"\\ln": 32371,
|
| 272 |
+
"\\log": 32372,
|
| 273 |
+
"\\longdiv": 32373,
|
| 274 |
+
"\\longleftarrow": 32374,
|
| 275 |
+
"\\longleftrightarrow": 32375,
|
| 276 |
+
"\\longleftrightarrowEfi": 32376,
|
| 277 |
+
"\\longmapsto": 32377,
|
| 278 |
+
"\\longmapstomult": 32378,
|
| 279 |
+
"\\longrightarrow": 32379,
|
| 280 |
+
"\\lrcorner": 32380,
|
| 281 |
+
"\\ltimes": 32381,
|
| 282 |
+
"\\lvert": 32382,
|
| 283 |
+
"\\mapsto": 32383,
|
| 284 |
+
"\\mapstoW": 32384,
|
| 285 |
+
"\\mathbb": 32385,
|
| 286 |
+
"\\mathbbR": 32386,
|
| 287 |
+
"\\mathbbZrank": 32387,
|
| 288 |
+
"\\mathbbZtakes": 32388,
|
| 289 |
+
"\\mathbbl": 32389,
|
| 290 |
+
"\\mathbf": 32390,
|
| 291 |
+
"\\mathcal": 32391,
|
| 292 |
+
"\\mathcalM": 32392,
|
| 293 |
+
"\\mathcalom": 32393,
|
| 294 |
+
"\\mathfrak": 32394,
|
| 295 |
+
"\\mathrm": 32395,
|
| 296 |
+
"\\mathscr": 32396,
|
| 297 |
+
"\\mathscrB": 32397,
|
| 298 |
+
"\\mathscrS": 32398,
|
| 299 |
+
"\\mathscrf": 32399,
|
| 300 |
+
"\\matshcr": 32400,
|
| 301 |
+
"\\max": 32401,
|
| 302 |
+
"\\measuredangle": 32402,
|
| 303 |
+
"\\mho": 32403,
|
| 304 |
+
"\\mid": 32404,
|
| 305 |
+
"\\min": 32405,
|
| 306 |
+
"\\models": 32406,
|
| 307 |
+
"\\mp": 32407,
|
| 308 |
+
"\\mu": 32408,
|
| 309 |
+
"\\mudominant": 32409,
|
| 310 |
+
"\\muexists": 32410,
|
| 311 |
+
"\\mufinite": 32411,
|
| 312 |
+
"\\multicolumn": 32412,
|
| 313 |
+
"\\multimap": 32413,
|
| 314 |
+
"\\multirow": 32414,
|
| 315 |
+
"\\n": 32415,
|
| 316 |
+
"\\nLeftarrow": 32416,
|
| 317 |
+
"\\nRightarrow": 32417,
|
| 318 |
+
"\\nVdash": 32418,
|
| 319 |
+
"\\nabla": 32419,
|
| 320 |
+
"\\natural": 32420,
|
| 321 |
+
"\\nearrow": 32421,
|
| 322 |
+
"\\neg": 32422,
|
| 323 |
+
"\\neq": 32423,
|
| 324 |
+
"\\neqId": 32424,
|
| 325 |
+
"\\neqid": 32425,
|
| 326 |
+
"\\nexists": 32426,
|
| 327 |
+
"\\ngtr": 32427,
|
| 328 |
+
"\\ni": 32428,
|
| 329 |
+
"\\nleftarrow": 32429,
|
| 330 |
+
"\\nless": 32430,
|
| 331 |
+
"\\nmid": 32431,
|
| 332 |
+
"\\nmidDisc": 32432,
|
| 333 |
+
"\\not": 32433,
|
| 334 |
+
"\\notin": 32434,
|
| 335 |
+
"\\nprec": 32435,
|
| 336 |
+
"\\npreceq": 32436,
|
| 337 |
+
"\\nrightarrow": 32437,
|
| 338 |
+
"\\nsim": 32438,
|
| 339 |
+
"\\nsubseteq": 32439,
|
| 340 |
+
"\\nsucc": 32440,
|
| 341 |
+
"\\nsucceq": 32441,
|
| 342 |
+
"\\nsupseteq": 32442,
|
| 343 |
+
"\\nu": 32443,
|
| 344 |
+
"\\nvdash": 32444,
|
| 345 |
+
"\\nwarrow": 32445,
|
| 346 |
+
"\\odot": 32446,
|
| 347 |
+
"\\oepratorname": 32447,
|
| 348 |
+
"\\oiiint": 32448,
|
| 349 |
+
"\\oiint": 32449,
|
| 350 |
+
"\\oint": 32450,
|
| 351 |
+
"\\omega": 32451,
|
| 352 |
+
"\\omegaest": 32452,
|
| 353 |
+
"\\ominus": 32453,
|
| 354 |
+
"\\operatorname": 32454,
|
| 355 |
+
"\\operatornamemap": 32455,
|
| 356 |
+
"\\oplus": 32456,
|
| 357 |
+
"\\oslash": 32457,
|
| 358 |
+
"\\otimes": 32458,
|
| 359 |
+
"\\otimese": 32459,
|
| 360 |
+
"\\overbrace": 32460,
|
| 361 |
+
"\\overleftarrow": 32461,
|
| 362 |
+
"\\overleftrightarrow": 32462,
|
| 363 |
+
"\\overlin": 32463,
|
| 364 |
+
"\\overline": 32464,
|
| 365 |
+
"\\overparen": 32465,
|
| 366 |
+
"\\overrightarrow": 32466,
|
| 367 |
+
"\\p": 32467,
|
| 368 |
+
"\\parallel": 32468,
|
| 369 |
+
"\\partial": 32469,
|
| 370 |
+
"\\partialM": 32470,
|
| 371 |
+
"\\partiala": 32471,
|
| 372 |
+
"\\partialb": 32472,
|
| 373 |
+
"\\perp": 32473,
|
| 374 |
+
"\\phi": 32474,
|
| 375 |
+
"\\phicommute": 32475,
|
| 376 |
+
"\\pi": 32476,
|
| 377 |
+
"\\pifinite": 32477,
|
| 378 |
+
"\\pitchfork": 32478,
|
| 379 |
+
"\\pitwist": 32479,
|
| 380 |
+
"\\pm": 32480,
|
| 381 |
+
"\\prec": 32481,
|
| 382 |
+
"\\preccurlyeq": 32482,
|
| 383 |
+
"\\preceq": 32483,
|
| 384 |
+
"\\precsim": 32484,
|
| 385 |
+
"\\prime": 32485,
|
| 386 |
+
"\\prod": 32486,
|
| 387 |
+
"\\propto": 32487,
|
| 388 |
+
"\\psi": 32488,
|
| 389 |
+
"\\psidoes": 32489,
|
| 390 |
+
"\\qquad": 32490,
|
| 391 |
+
"\\qua": 32491,
|
| 392 |
+
"\\quad": 32492,
|
| 393 |
+
"\\quada": 32493,
|
| 394 |
+
"\\rangle": 32494,
|
| 395 |
+
"\\rceil": 32495,
|
| 396 |
+
"\\rfloor": 32496,
|
| 397 |
+
"\\rho": 32497,
|
| 398 |
+
"\\rhofollows": 32498,
|
| 399 |
+
"\\rhooperator": 32499,
|
| 400 |
+
"\\right": 32500,
|
| 401 |
+
"\\rightarrow": 32144,
|
| 402 |
+
"\\rightarrowA": 32501,
|
| 403 |
+
"\\rightarrowC": 32502,
|
| 404 |
+
"\\rightarrowFinord": 32503,
|
| 405 |
+
"\\rightarrowSet": 32504,
|
| 406 |
+
"\\rightarrowSets": 32505,
|
| 407 |
+
"\\rightarrowf": 32506,
|
| 408 |
+
"\\rightharpoonup": 32507,
|
| 409 |
+
"\\rightleftarrows": 32508,
|
| 410 |
+
"\\rightleftharpoons": 32509,
|
| 411 |
+
"\\rightrightarrows": 32510,
|
| 412 |
+
"\\rightsquigarrow": 32511,
|
| 413 |
+
"\\risingdotseq": 32512,
|
| 414 |
+
"\\rrbracket": 32513,
|
| 415 |
+
"\\rtimes": 32514,
|
| 416 |
+
"\\rvert": 32515,
|
| 417 |
+
"\\searrow": 32516,
|
| 418 |
+
"\\sec": 32517,
|
| 419 |
+
"\\section": 32518,
|
| 420 |
+
"\\setminus": 32519,
|
| 421 |
+
"\\sharp": 32520,
|
| 422 |
+
"\\sigma": 32521,
|
| 423 |
+
"\\sim": 32522,
|
| 424 |
+
"\\simeq": 32523,
|
| 425 |
+
"\\simeqid": 32524,
|
| 426 |
+
"\\simr": 32525,
|
| 427 |
+
"\\sin": 32526,
|
| 428 |
+
"\\sinh": 32527,
|
| 429 |
+
"\\smile": 32528,
|
| 430 |
+
"\\sqcap": 32529,
|
| 431 |
+
"\\sqcup": 32530,
|
| 432 |
+
"\\sqrt": 32531,
|
| 433 |
+
"\\sqsubset": 32532,
|
| 434 |
+
"\\sqsubseteq": 32533,
|
| 435 |
+
"\\sqsupset": 32534,
|
| 436 |
+
"\\sqsupseteq": 32535,
|
| 437 |
+
"\\square": 32536,
|
| 438 |
+
"\\stackrel": 32537,
|
| 439 |
+
"\\star": 32538,
|
| 440 |
+
"\\starEXERCISE": 32539,
|
| 441 |
+
"\\subsection": 32540,
|
| 442 |
+
"\\subset": 32541,
|
| 443 |
+
"\\subsetA": 32542,
|
| 444 |
+
"\\subsetM": 32543,
|
| 445 |
+
"\\subseteq": 32544,
|
| 446 |
+
"\\subseteqW": 32545,
|
| 447 |
+
"\\subsetneq": 32546,
|
| 448 |
+
"\\substack": 32547,
|
| 449 |
+
"\\subsubsection": 32548,
|
| 450 |
+
"\\succ": 32549,
|
| 451 |
+
"\\succcurlyeq": 32550,
|
| 452 |
+
"\\succeq": 32551,
|
| 453 |
+
"\\succsim": 32552,
|
| 454 |
+
"\\sum": 32553,
|
| 455 |
+
"\\sup": 32554,
|
| 456 |
+
"\\supset": 32555,
|
| 457 |
+
"\\supseteq": 32556,
|
| 458 |
+
"\\supseteqq": 32557,
|
| 459 |
+
"\\supsetneq": 32558,
|
| 460 |
+
"\\supsetneqq": 32559,
|
| 461 |
+
"\\swarrow": 32560,
|
| 462 |
+
"\\tag": 32561,
|
| 463 |
+
"\\tan": 32562,
|
| 464 |
+
"\\tanh": 32563,
|
| 465 |
+
"\\tau": 32564,
|
| 466 |
+
"\\taualent": 32565,
|
| 467 |
+
"\\tauariety": 32566,
|
| 468 |
+
"\\tauphism": 32567,
|
| 469 |
+
"\\tauphistn": 32568,
|
| 470 |
+
"\\taupure": 32569,
|
| 471 |
+
"\\text": 32570,
|
| 472 |
+
"\\textbf": 32571,
|
| 473 |
+
"\\textrm": 32572,
|
| 474 |
+
"\\textrmK": 32573,
|
| 475 |
+
"\\therefore": 32574,
|
| 476 |
+
"\\theta": 32575,
|
| 477 |
+
"\\thetaalone": 32576,
|
| 478 |
+
"\\thetaexplicit": 32577,
|
| 479 |
+
"\\thetaworks": 32578,
|
| 480 |
+
"\\tilde": 32579,
|
| 481 |
+
"\\times": 32580,
|
| 482 |
+
"\\timesm": 32581,
|
| 483 |
+
"\\to": 32157,
|
| 484 |
+
"\\top": 32582,
|
| 485 |
+
"\\triangle": 32583,
|
| 486 |
+
"\\triangleleft": 32584,
|
| 487 |
+
"\\triangleq": 32585,
|
| 488 |
+
"\\triangleright": 32586,
|
| 489 |
+
"\\ulcorner": 32587,
|
| 490 |
+
"\\underbrace": 32588,
|
| 491 |
+
"\\underline": 32589,
|
| 492 |
+
"\\underset": 32590,
|
| 493 |
+
"\\unlhd": 32591,
|
| 494 |
+
"\\unrhd": 32592,
|
| 495 |
+
"\\uparrow": 32593,
|
| 496 |
+
"\\upharpoonleft": 32594,
|
| 497 |
+
"\\upharpoonright": 32595,
|
| 498 |
+
"\\uplus": 32596,
|
| 499 |
+
"\\urcorner": 32597,
|
| 500 |
+
"\\vDash": 32598,
|
| 501 |
+
"\\varangle": 32599,
|
| 502 |
+
"\\varepsilon": 32600,
|
| 503 |
+
"\\varepsilona": 32601,
|
| 504 |
+
"\\varepsilonarrow": 32602,
|
| 505 |
+
"\\varepsilonarrows": 32603,
|
| 506 |
+
"\\varinjlim": 32604,
|
| 507 |
+
"\\varkappa": 32605,
|
| 508 |
+
"\\varliminf": 32606,
|
| 509 |
+
"\\varlimsup": 32607,
|
| 510 |
+
"\\varnothing": 32608,
|
| 511 |
+
"\\varphi": 32609,
|
| 512 |
+
"\\varphiare": 32610,
|
| 513 |
+
"\\varphiitself": 32611,
|
| 514 |
+
"\\varphiw": 32612,
|
| 515 |
+
"\\varpi": 32613,
|
| 516 |
+
"\\varprojlim": 32614,
|
| 517 |
+
"\\varrho": 32615,
|
| 518 |
+
"\\varsigma": 32616,
|
| 519 |
+
"\\varsubsetneqq": 32617,
|
| 520 |
+
"\\vartheta": 32618,
|
| 521 |
+
"\\varthetaa": 32619,
|
| 522 |
+
"\\vdash": 32620,
|
| 523 |
+
"\\vdots": 32621,
|
| 524 |
+
"\\vec": 32622,
|
| 525 |
+
"\\vecara": 32623,
|
| 526 |
+
"\\vee": 32624,
|
| 527 |
+
"\\vigvec": 32625,
|
| 528 |
+
"\\wedge": 32626,
|
| 529 |
+
"\\wedgeT": 32627,
|
| 530 |
+
"\\wedgeid": 32628,
|
| 531 |
+
"\\widehat": 32629,
|
| 532 |
+
"\\widehatat": 32630,
|
| 533 |
+
"\\widetilde": 32631,
|
| 534 |
+
"\\wp": 32632,
|
| 535 |
+
"\\xi": 32633,
|
| 536 |
+
"\\xlongequal": 32634,
|
| 537 |
+
"\\xrightarrow": 32635,
|
| 538 |
+
"\\your": 32636,
|
| 539 |
+
"\\zeta": 32637
|
| 540 |
}
|
tokenizer.json
CHANGED
|
The diff for this file is too large to render.
See raw diff
|
|
|
tokenizer_config.json
CHANGED
|
@@ -105,7 +105,7 @@
|
|
| 105 |
"eos_token": "</s>",
|
| 106 |
"extra_ids": 100,
|
| 107 |
"model_max_length": 512,
|
| 108 |
-
"name_or_path": "./models/
|
| 109 |
"pad_token": "<pad>",
|
| 110 |
"special_tokens_map_file": null,
|
| 111 |
"tokenizer_class": "T5Tokenizer",
|
|
|
|
| 105 |
"eos_token": "</s>",
|
| 106 |
"extra_ids": 100,
|
| 107 |
"model_max_length": 512,
|
| 108 |
+
"name_or_path": "./models/notation_summarizations_model_2024_05_27_5",
|
| 109 |
"pad_token": "<pad>",
|
| 110 |
"special_tokens_map_file": null,
|
| 111 |
"tokenizer_class": "T5Tokenizer",
|