hyunjongkimmath commited on
Commit
3dd44a7
·
verified ·
1 Parent(s): fa209d8

Upload tokenizer

Browse files
Files changed (3) hide show
  1. added_tokens.json +5 -538
  2. tokenizer.json +0 -0
  3. tokenizer_config.json +7 -4301
added_tokens.json CHANGED
@@ -1,540 +1,7 @@
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
  }
 
1
  {
2
+ "$$": 32104,
3
+ "\\": 32100,
4
+ "^": 32101,
5
+ "{": 32102,
6
+ "}": 32103
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
7
  }
tokenizer.json CHANGED
The diff for this file is too large to render. See raw diff
 
tokenizer_config.json CHANGED
@@ -1,4 +1,5 @@
1
  {
 
2
  "added_tokens_decoder": {
3
  "0": {
4
  "content": "<pad>",
@@ -841,7 +842,7 @@
841
  "special": true
842
  },
843
  "32100": {
844
- "content": "$$",
845
  "lstrip": false,
846
  "normalized": true,
847
  "rstrip": false,
@@ -849,7 +850,7 @@
849
  "special": false
850
  },
851
  "32101": {
852
- "content": "\\AA",
853
  "lstrip": false,
854
  "normalized": true,
855
  "rstrip": false,
@@ -857,7 +858,7 @@
857
  "special": false
858
  },
859
  "32102": {
860
- "content": "\\C",
861
  "lstrip": false,
862
  "normalized": true,
863
  "rstrip": false,
@@ -865,7 +866,7 @@
865
  "special": false
866
  },
867
  "32103": {
868
- "content": "\\Delta",
869
  "lstrip": false,
870
  "normalized": true,
871
  "rstrip": false,
@@ -873,4303 +874,7 @@
873
  "special": false
874
  },
875
  "32104": {
876
- "content": "\\Deltatoo",
877
- "lstrip": false,
878
- "normalized": true,
879
- "rstrip": false,
880
- "single_word": false,
881
- "special": false
882
- },
883
- "32105": {
884
- "content": "\\Documents",
885
- "lstrip": false,
886
- "normalized": true,
887
- "rstrip": false,
888
- "single_word": false,
889
- "special": false
890
- },
891
- "32106": {
892
- "content": "\\Downarrow",
893
- "lstrip": false,
894
- "normalized": true,
895
- "rstrip": false,
896
- "single_word": false,
897
- "special": false
898
- },
899
- "32107": {
900
- "content": "\\Gamma",
901
- "lstrip": false,
902
- "normalized": true,
903
- "rstrip": false,
904
- "single_word": false,
905
- "special": false
906
- },
907
- "32108": {
908
- "content": "\\GammaRACT",
909
- "lstrip": false,
910
- "normalized": true,
911
- "rstrip": false,
912
- "single_word": false,
913
- "special": false
914
- },
915
- "32109": {
916
- "content": "\\Gammaacts",
917
- "lstrip": false,
918
- "normalized": true,
919
- "rstrip": false,
920
- "single_word": false,
921
- "special": false
922
- },
923
- "32110": {
924
- "content": "\\Gammadoes",
925
- "lstrip": false,
926
- "normalized": true,
927
- "rstrip": false,
928
- "single_word": false,
929
- "special": false
930
- },
931
- "32111": {
932
- "content": "\\Im",
933
- "lstrip": false,
934
- "normalized": true,
935
- "rstrip": false,
936
- "single_word": false,
937
- "special": false
938
- },
939
- "32112": {
940
- "content": "\\Lambda",
941
- "lstrip": false,
942
- "normalized": true,
943
- "rstrip": false,
944
- "single_word": false,
945
- "special": false
946
- },
947
- "32113": {
948
- "content": "\\LambdaMPLE",
949
- "lstrip": false,
950
- "normalized": true,
951
- "rstrip": false,
952
- "single_word": false,
953
- "special": false
954
- },
955
- "32114": {
956
- "content": "\\LambdaPTER",
957
- "lstrip": false,
958
- "normalized": true,
959
- "rstrip": false,
960
- "single_word": false,
961
- "special": false
962
- },
963
- "32115": {
964
- "content": "\\LambdaRK",
965
- "lstrip": false,
966
- "normalized": true,
967
- "rstrip": false,
968
- "single_word": false,
969
- "special": false
970
- },
971
- "32116": {
972
- "content": "\\LambdaYNAUD",
973
- "lstrip": false,
974
- "normalized": true,
975
- "rstrip": false,
976
- "single_word": false,
977
- "special": false
978
- },
979
- "32117": {
980
- "content": "\\Lambdamodule",
981
- "lstrip": false,
982
- "normalized": true,
983
- "rstrip": false,
984
- "single_word": false,
985
- "special": false
986
- },
987
- "32118": {
988
- "content": "\\Lambdamodules",
989
- "lstrip": false,
990
- "normalized": true,
991
- "rstrip": false,
992
- "single_word": false,
993
- "special": false
994
- },
995
- "32119": {
996
- "content": "\\Lambdappendix",
997
- "lstrip": false,
998
- "normalized": true,
999
- "rstrip": false,
1000
- "single_word": false,
1001
- "special": false
1002
- },
1003
- "32120": {
1004
- "content": "\\Lambdas",
1005
- "lstrip": false,
1006
- "normalized": true,
1007
- "rstrip": false,
1008
- "single_word": false,
1009
- "special": false
1010
- },
1011
- "32121": {
1012
- "content": "\\Lambdaut",
1013
- "lstrip": false,
1014
- "normalized": true,
1015
- "rstrip": false,
1016
- "single_word": false,
1017
- "special": false
1018
- },
1019
- "32122": {
1020
- "content": "\\Leftarrow",
1021
- "lstrip": false,
1022
- "normalized": true,
1023
- "rstrip": false,
1024
- "single_word": false,
1025
- "special": false
1026
- },
1027
- "32123": {
1028
- "content": "\\leftarrow",
1029
- "lstrip": false,
1030
- "normalized": true,
1031
- "rstrip": false,
1032
- "single_word": false,
1033
- "special": false
1034
- },
1035
- "32124": {
1036
- "content": "\\Leftrightarrow",
1037
- "lstrip": false,
1038
- "normalized": true,
1039
- "rstrip": false,
1040
- "single_word": false,
1041
- "special": false
1042
- },
1043
- "32125": {
1044
- "content": "\\Longleftarrow",
1045
- "lstrip": false,
1046
- "normalized": true,
1047
- "rstrip": false,
1048
- "single_word": false,
1049
- "special": false
1050
- },
1051
- "32126": {
1052
- "content": "\\Longleftrightarrow",
1053
- "lstrip": false,
1054
- "normalized": true,
1055
- "rstrip": false,
1056
- "single_word": false,
1057
- "special": false
1058
- },
1059
- "32127": {
1060
- "content": "\\Longrightarrow",
1061
- "lstrip": false,
1062
- "normalized": true,
1063
- "rstrip": false,
1064
- "single_word": false,
1065
- "special": false
1066
- },
1067
- "32128": {
1068
- "content": "\\M",
1069
- "lstrip": false,
1070
- "normalized": true,
1071
- "rstrip": false,
1072
- "single_word": false,
1073
- "special": false
1074
- },
1075
- "32129": {
1076
- "content": "\\Math",
1077
- "lstrip": false,
1078
- "normalized": true,
1079
- "rstrip": false,
1080
- "single_word": false,
1081
- "special": false
1082
- },
1083
- "32130": {
1084
- "content": "\\Minv",
1085
- "lstrip": false,
1086
- "normalized": true,
1087
- "rstrip": false,
1088
- "single_word": false,
1089
- "special": false
1090
- },
1091
- "32131": {
1092
- "content": "\\Omega",
1093
- "lstrip": false,
1094
- "normalized": true,
1095
- "rstrip": false,
1096
- "single_word": false,
1097
- "special": false
1098
- },
1099
- "32132": {
1100
- "content": "\\Perp",
1101
- "lstrip": false,
1102
- "normalized": true,
1103
- "rstrip": false,
1104
- "single_word": false,
1105
- "special": false
1106
- },
1107
- "32133": {
1108
- "content": "\\PerpI",
1109
- "lstrip": false,
1110
- "normalized": true,
1111
- "rstrip": false,
1112
- "single_word": false,
1113
- "special": false
1114
- },
1115
- "32134": {
1116
- "content": "\\Phi",
1117
- "lstrip": false,
1118
- "normalized": true,
1119
- "rstrip": false,
1120
- "single_word": false,
1121
- "special": false
1122
- },
1123
- "32135": {
1124
- "content": "\\Pi",
1125
- "lstrip": false,
1126
- "normalized": true,
1127
- "rstrip": false,
1128
- "single_word": false,
1129
- "special": false
1130
- },
1131
- "32136": {
1132
- "content": "\\Pisentence",
1133
- "lstrip": false,
1134
- "normalized": true,
1135
- "rstrip": false,
1136
- "single_word": false,
1137
- "special": false
1138
- },
1139
- "32137": {
1140
- "content": "\\Pisentences",
1141
- "lstrip": false,
1142
- "normalized": true,
1143
- "rstrip": false,
1144
- "single_word": false,
1145
- "special": false
1146
- },
1147
- "32138": {
1148
- "content": "\\Psi",
1149
- "lstrip": false,
1150
- "normalized": true,
1151
- "rstrip": false,
1152
- "single_word": false,
1153
- "special": false
1154
- },
1155
- "32139": {
1156
- "content": "\\Psiitself",
1157
- "lstrip": false,
1158
- "normalized": true,
1159
- "rstrip": false,
1160
- "single_word": false,
1161
- "special": false
1162
- },
1163
- "32140": {
1164
- "content": "\\Psipre",
1165
- "lstrip": false,
1166
- "normalized": true,
1167
- "rstrip": false,
1168
- "single_word": false,
1169
- "special": false
1170
- },
1171
- "32141": {
1172
- "content": "\\Psir",
1173
- "lstrip": false,
1174
- "normalized": true,
1175
- "rstrip": false,
1176
- "single_word": false,
1177
- "special": false
1178
- },
1179
- "32142": {
1180
- "content": "\\Re",
1181
- "lstrip": false,
1182
- "normalized": true,
1183
- "rstrip": false,
1184
- "single_word": false,
1185
- "special": false
1186
- },
1187
- "32143": {
1188
- "content": "\\Rightarrow",
1189
- "lstrip": false,
1190
- "normalized": true,
1191
- "rstrip": false,
1192
- "single_word": false,
1193
- "special": false
1194
- },
1195
- "32144": {
1196
- "content": "\\rightarrow",
1197
- "lstrip": false,
1198
- "normalized": true,
1199
- "rstrip": false,
1200
- "single_word": false,
1201
- "special": false
1202
- },
1203
- "32145": {
1204
- "content": "\\S",
1205
- "lstrip": false,
1206
- "normalized": true,
1207
- "rstrip": false,
1208
- "single_word": false,
1209
- "special": false
1210
- },
1211
- "32146": {
1212
- "content": "\\SA",
1213
- "lstrip": false,
1214
- "normalized": true,
1215
- "rstrip": false,
1216
- "single_word": false,
1217
- "special": false
1218
- },
1219
- "32147": {
1220
- "content": "\\SD",
1221
- "lstrip": false,
1222
- "normalized": true,
1223
- "rstrip": false,
1224
- "single_word": false,
1225
- "special": false
1226
- },
1227
- "32148": {
1228
- "content": "\\SE",
1229
- "lstrip": false,
1230
- "normalized": true,
1231
- "rstrip": false,
1232
- "single_word": false,
1233
- "special": false
1234
- },
1235
- "32149": {
1236
- "content": "\\SF",
1237
- "lstrip": false,
1238
- "normalized": true,
1239
- "rstrip": false,
1240
- "single_word": false,
1241
- "special": false
1242
- },
1243
- "32150": {
1244
- "content": "\\SIII",
1245
- "lstrip": false,
1246
- "normalized": true,
1247
- "rstrip": false,
1248
- "single_word": false,
1249
- "special": false
1250
- },
1251
- "32151": {
1252
- "content": "\\SIV",
1253
- "lstrip": false,
1254
- "normalized": true,
1255
- "rstrip": false,
1256
- "single_word": false,
1257
- "special": false
1258
- },
1259
- "32152": {
1260
- "content": "\\SIX",
1261
- "lstrip": false,
1262
- "normalized": true,
1263
- "rstrip": false,
1264
- "single_word": false,
1265
- "special": false
1266
- },
1267
- "32153": {
1268
- "content": "\\SVII",
1269
- "lstrip": false,
1270
- "normalized": true,
1271
- "rstrip": false,
1272
- "single_word": false,
1273
- "special": false
1274
- },
1275
- "32154": {
1276
- "content": "\\Sigma",
1277
- "lstrip": false,
1278
- "normalized": true,
1279
- "rstrip": false,
1280
- "single_word": false,
1281
- "special": false
1282
- },
1283
- "32155": {
1284
- "content": "\\Subset",
1285
- "lstrip": false,
1286
- "normalized": true,
1287
- "rstrip": false,
1288
- "single_word": false,
1289
- "special": false
1290
- },
1291
- "32156": {
1292
- "content": "\\Theta",
1293
- "lstrip": false,
1294
- "normalized": true,
1295
- "rstrip": false,
1296
- "single_word": false,
1297
- "special": false
1298
- },
1299
- "32157": {
1300
- "content": "\\to",
1301
- "lstrip": false,
1302
- "normalized": true,
1303
- "rstrip": false,
1304
- "single_word": false,
1305
- "special": false
1306
- },
1307
- "32158": {
1308
- "content": "\\Uparrow",
1309
- "lstrip": false,
1310
- "normalized": true,
1311
- "rstrip": false,
1312
- "single_word": false,
1313
- "special": false
1314
- },
1315
- "32159": {
1316
- "content": "\\Upsilon",
1317
- "lstrip": false,
1318
- "normalized": true,
1319
- "rstrip": false,
1320
- "single_word": false,
1321
- "special": false
1322
- },
1323
- "32160": {
1324
- "content": "\\Users",
1325
- "lstrip": false,
1326
- "normalized": true,
1327
- "rstrip": false,
1328
- "single_word": false,
1329
- "special": false
1330
- },
1331
- "32161": {
1332
- "content": "\\Varangle",
1333
- "lstrip": false,
1334
- "normalized": true,
1335
- "rstrip": false,
1336
- "single_word": false,
1337
- "special": false
1338
- },
1339
- "32162": {
1340
- "content": "\\Vdash",
1341
- "lstrip": false,
1342
- "normalized": true,
1343
- "rstrip": false,
1344
- "single_word": false,
1345
- "special": false
1346
- },
1347
- "32163": {
1348
- "content": "\\Xi",
1349
- "lstrip": false,
1350
- "normalized": true,
1351
- "rstrip": false,
1352
- "single_word": false,
1353
- "special": false
1354
- },
1355
- "32164": {
1356
- "content": "\\aleph",
1357
- "lstrip": false,
1358
- "normalized": true,
1359
- "rstrip": false,
1360
- "single_word": false,
1361
- "special": false
1362
- },
1363
- "32165": {
1364
- "content": "\\alldifferent",
1365
- "lstrip": false,
1366
- "normalized": true,
1367
- "rstrip": false,
1368
- "single_word": false,
1369
- "special": false
1370
- },
1371
- "32166": {
1372
- "content": "\\alpha",
1373
- "lstrip": false,
1374
- "normalized": true,
1375
- "rstrip": false,
1376
- "single_word": false,
1377
- "special": false
1378
- },
1379
- "32167": {
1380
- "content": "\\alphapointwise",
1381
- "lstrip": false,
1382
- "normalized": true,
1383
- "rstrip": false,
1384
- "single_word": false,
1385
- "special": false
1386
- },
1387
- "32168": {
1388
- "content": "\\alphareversed",
1389
- "lstrip": false,
1390
- "normalized": true,
1391
- "rstrip": false,
1392
- "single_word": false,
1393
- "special": false
1394
- },
1395
- "32169": {
1396
- "content": "\\alphasurjective",
1397
- "lstrip": false,
1398
- "normalized": true,
1399
- "rstrip": false,
1400
- "single_word": false,
1401
- "special": false
1402
- },
1403
- "32170": {
1404
- "content": "\\amalg",
1405
- "lstrip": false,
1406
- "normalized": true,
1407
- "rstrip": false,
1408
- "single_word": false,
1409
- "special": false
1410
- },
1411
- "32171": {
1412
- "content": "\\angle",
1413
- "lstrip": false,
1414
- "normalized": true,
1415
- "rstrip": false,
1416
- "single_word": false,
1417
- "special": false
1418
- },
1419
- "32172": {
1420
- "content": "\\approx",
1421
- "lstrip": false,
1422
- "normalized": true,
1423
- "rstrip": false,
1424
- "single_word": false,
1425
- "special": false
1426
- },
1427
- "32173": {
1428
- "content": "\\arccos",
1429
- "lstrip": false,
1430
- "normalized": true,
1431
- "rstrip": false,
1432
- "single_word": false,
1433
- "special": false
1434
- },
1435
- "32174": {
1436
- "content": "\\arcsin",
1437
- "lstrip": false,
1438
- "normalized": true,
1439
- "rstrip": false,
1440
- "single_word": false,
1441
- "special": false
1442
- },
1443
- "32175": {
1444
- "content": "\\arctan",
1445
- "lstrip": false,
1446
- "normalized": true,
1447
- "rstrip": false,
1448
- "single_word": false,
1449
- "special": false
1450
- },
1451
- "32176": {
1452
- "content": "\\arg",
1453
- "lstrip": false,
1454
- "normalized": true,
1455
- "rstrip": false,
1456
- "single_word": false,
1457
- "special": false
1458
- },
1459
- "32177": {
1460
- "content": "\\ast",
1461
- "lstrip": false,
1462
- "normalized": true,
1463
- "rstrip": false,
1464
- "single_word": false,
1465
- "special": false
1466
- },
1467
- "32178": {
1468
- "content": "\\asymp",
1469
- "lstrip": false,
1470
- "normalized": true,
1471
- "rstrip": false,
1472
- "single_word": false,
1473
- "special": false
1474
- },
1475
- "32179": {
1476
- "content": "\\atop",
1477
- "lstrip": false,
1478
- "normalized": true,
1479
- "rstrip": false,
1480
- "single_word": false,
1481
- "special": false
1482
- },
1483
- "32180": {
1484
- "content": "\\backsim",
1485
- "lstrip": false,
1486
- "normalized": true,
1487
- "rstrip": false,
1488
- "single_word": false,
1489
- "special": false
1490
- },
1491
- "32181": {
1492
- "content": "\\backslash",
1493
- "lstrip": false,
1494
- "normalized": true,
1495
- "rstrip": false,
1496
- "single_word": false,
1497
- "special": false
1498
- },
1499
- "32182": {
1500
- "content": "\\bar",
1501
- "lstrip": false,
1502
- "normalized": true,
1503
- "rstrip": false,
1504
- "single_word": false,
1505
- "special": false
1506
- },
1507
- "32183": {
1508
- "content": "\\because",
1509
- "lstrip": false,
1510
- "normalized": true,
1511
- "rstrip": false,
1512
- "single_word": false,
1513
- "special": false
1514
- },
1515
- "32184": {
1516
- "content": "\\begin",
1517
- "lstrip": false,
1518
- "normalized": true,
1519
- "rstrip": false,
1520
- "single_word": false,
1521
- "special": false
1522
- },
1523
- "32185": {
1524
- "content": "\\beta",
1525
- "lstrip": false,
1526
- "normalized": true,
1527
- "rstrip": false,
1528
- "single_word": false,
1529
- "special": false
1530
- },
1531
- "32186": {
1532
- "content": "\\betaa",
1533
- "lstrip": false,
1534
- "normalized": true,
1535
- "rstrip": false,
1536
- "single_word": false,
1537
- "special": false
1538
- },
1539
- "32187": {
1540
- "content": "\\betaencharacter",
1541
- "lstrip": false,
1542
- "normalized": true,
1543
- "rstrip": false,
1544
- "single_word": false,
1545
- "special": false
1546
- },
1547
- "32188": {
1548
- "content": "\\betaencharakter",
1549
- "lstrip": false,
1550
- "normalized": true,
1551
- "rstrip": false,
1552
- "single_word": false,
1553
- "special": false
1554
- },
1555
- "32189": {
1556
- "content": "\\betaencharaktere",
1557
- "lstrip": false,
1558
- "normalized": true,
1559
- "rstrip": false,
1560
- "single_word": false,
1561
- "special": false
1562
- },
1563
- "32190": {
1564
- "content": "\\betaenoharaktere",
1565
- "lstrip": false,
1566
- "normalized": true,
1567
- "rstrip": false,
1568
- "single_word": false,
1569
- "special": false
1570
- },
1571
- "32191": {
1572
- "content": "\\betaerwesentliche",
1573
- "lstrip": false,
1574
- "normalized": true,
1575
- "rstrip": false,
1576
- "single_word": false,
1577
- "special": false
1578
- },
1579
- "32192": {
1580
- "content": "\\betaeverywhere",
1581
- "lstrip": false,
1582
- "normalized": true,
1583
- "rstrip": false,
1584
- "single_word": false,
1585
- "special": false
1586
- },
1587
- "32193": {
1588
- "content": "\\betao",
1589
- "lstrip": false,
1590
- "normalized": true,
1591
- "rstrip": false,
1592
- "single_word": false,
1593
- "special": false
1594
- },
1595
- "32194": {
1596
- "content": "\\beth",
1597
- "lstrip": false,
1598
- "normalized": true,
1599
- "rstrip": false,
1600
- "single_word": false,
1601
- "special": false
1602
- },
1603
- "32195": {
1604
- "content": "\\bigcap",
1605
- "lstrip": false,
1606
- "normalized": true,
1607
- "rstrip": false,
1608
- "single_word": false,
1609
- "special": false
1610
- },
1611
- "32196": {
1612
- "content": "\\bigcirc",
1613
- "lstrip": false,
1614
- "normalized": true,
1615
- "rstrip": false,
1616
- "single_word": false,
1617
- "special": false
1618
- },
1619
- "32197": {
1620
- "content": "\\bigcup",
1621
- "lstrip": false,
1622
- "normalized": true,
1623
- "rstrip": false,
1624
- "single_word": false,
1625
- "special": false
1626
- },
1627
- "32198": {
1628
- "content": "\\bigodot",
1629
- "lstrip": false,
1630
- "normalized": true,
1631
- "rstrip": false,
1632
- "single_word": false,
1633
- "special": false
1634
- },
1635
- "32199": {
1636
- "content": "\\bigoplus",
1637
- "lstrip": false,
1638
- "normalized": true,
1639
- "rstrip": false,
1640
- "single_word": false,
1641
- "special": false
1642
- },
1643
- "32200": {
1644
- "content": "\\bigotimes",
1645
- "lstrip": false,
1646
- "normalized": true,
1647
- "rstrip": false,
1648
- "single_word": false,
1649
- "special": false
1650
- },
1651
- "32201": {
1652
- "content": "\\bigsqcup",
1653
- "lstrip": false,
1654
- "normalized": true,
1655
- "rstrip": false,
1656
- "single_word": false,
1657
- "special": false
1658
- },
1659
- "32202": {
1660
- "content": "\\bigvee",
1661
- "lstrip": false,
1662
- "normalized": true,
1663
- "rstrip": false,
1664
- "single_word": false,
1665
- "special": false
1666
- },
1667
- "32203": {
1668
- "content": "\\bigwedge",
1669
- "lstrip": false,
1670
- "normalized": true,
1671
- "rstrip": false,
1672
- "single_word": false,
1673
- "special": false
1674
- },
1675
- "32204": {
1676
- "content": "\\binom",
1677
- "lstrip": false,
1678
- "normalized": true,
1679
- "rstrip": false,
1680
- "single_word": false,
1681
- "special": false
1682
- },
1683
- "32205": {
1684
- "content": "\\bmod",
1685
- "lstrip": false,
1686
- "normalized": true,
1687
- "rstrip": false,
1688
- "single_word": false,
1689
- "special": false
1690
- },
1691
- "32206": {
1692
- "content": "\\bmodL",
1693
- "lstrip": false,
1694
- "normalized": true,
1695
- "rstrip": false,
1696
- "single_word": false,
1697
- "special": false
1698
- },
1699
- "32207": {
1700
- "content": "\\boldsymbol",
1701
- "lstrip": false,
1702
- "normalized": true,
1703
- "rstrip": false,
1704
- "single_word": false,
1705
- "special": false
1706
- },
1707
- "32208": {
1708
- "content": "\\bowtie",
1709
- "lstrip": false,
1710
- "normalized": true,
1711
- "rstrip": false,
1712
- "single_word": false,
1713
- "special": false
1714
- },
1715
- "32209": {
1716
- "content": "\\boxminus",
1717
- "lstrip": false,
1718
- "normalized": true,
1719
- "rstrip": false,
1720
- "single_word": false,
1721
- "special": false
1722
- },
1723
- "32210": {
1724
- "content": "\\boxplus",
1725
- "lstrip": false,
1726
- "normalized": true,
1727
- "rstrip": false,
1728
- "single_word": false,
1729
- "special": false
1730
- },
1731
- "32211": {
1732
- "content": "\\boxtimes",
1733
- "lstrip": false,
1734
- "normalized": true,
1735
- "rstrip": false,
1736
- "single_word": false,
1737
- "special": false
1738
- },
1739
- "32212": {
1740
- "content": "\\breve",
1741
- "lstrip": false,
1742
- "normalized": true,
1743
- "rstrip": false,
1744
- "single_word": false,
1745
- "special": false
1746
- },
1747
- "32213": {
1748
- "content": "\\bullet",
1749
- "lstrip": false,
1750
- "normalized": true,
1751
- "rstrip": false,
1752
- "single_word": false,
1753
- "special": false
1754
- },
1755
- "32214": {
1756
- "content": "\\bumpeq",
1757
- "lstrip": false,
1758
- "normalized": true,
1759
- "rstrip": false,
1760
- "single_word": false,
1761
- "special": false
1762
- },
1763
- "32215": {
1764
- "content": "\\cap",
1765
- "lstrip": false,
1766
- "normalized": true,
1767
- "rstrip": false,
1768
- "single_word": false,
1769
- "special": false
1770
- },
1771
- "32216": {
1772
- "content": "\\capV",
1773
- "lstrip": false,
1774
- "normalized": true,
1775
- "rstrip": false,
1776
- "single_word": false,
1777
- "special": false
1778
- },
1779
- "32217": {
1780
- "content": "\\cdot",
1781
- "lstrip": false,
1782
- "normalized": true,
1783
- "rstrip": false,
1784
- "single_word": false,
1785
- "special": false
1786
- },
1787
- "32218": {
1788
- "content": "\\cdotFUNCTIONS",
1789
- "lstrip": false,
1790
- "normalized": true,
1791
- "rstrip": false,
1792
- "single_word": false,
1793
- "special": false
1794
- },
1795
- "32219": {
1796
- "content": "\\cdotideal",
1797
- "lstrip": false,
1798
- "normalized": true,
1799
- "rstrip": false,
1800
- "single_word": false,
1801
- "special": false
1802
- },
1803
- "32220": {
1804
- "content": "\\cdotr",
1805
- "lstrip": false,
1806
- "normalized": true,
1807
- "rstrip": false,
1808
- "single_word": false,
1809
- "special": false
1810
- },
1811
- "32221": {
1812
- "content": "\\cdots",
1813
- "lstrip": false,
1814
- "normalized": true,
1815
- "rstrip": false,
1816
- "single_word": false,
1817
- "special": false
1818
- },
1819
- "32222": {
1820
- "content": "\\cdotss",
1821
- "lstrip": false,
1822
- "normalized": true,
1823
- "rstrip": false,
1824
- "single_word": false,
1825
- "special": false
1826
- },
1827
- "32223": {
1828
- "content": "\\cdotvalues",
1829
- "lstrip": false,
1830
- "normalized": true,
1831
- "rstrip": false,
1832
- "single_word": false,
1833
- "special": false
1834
- },
1835
- "32224": {
1836
- "content": "\\check",
1837
- "lstrip": false,
1838
- "normalized": true,
1839
- "rstrip": false,
1840
- "single_word": false,
1841
- "special": false
1842
- },
1843
- "32225": {
1844
- "content": "\\checkmark",
1845
- "lstrip": false,
1846
- "normalized": true,
1847
- "rstrip": false,
1848
- "single_word": false,
1849
- "special": false
1850
- },
1851
- "32226": {
1852
- "content": "\\chi",
1853
- "lstrip": false,
1854
- "normalized": true,
1855
- "rstrip": false,
1856
- "single_word": false,
1857
- "special": false
1858
- },
1859
- "32227": {
1860
- "content": "\\circ",
1861
- "lstrip": false,
1862
- "normalized": true,
1863
- "rstrip": false,
1864
- "single_word": false,
1865
- "special": false
1866
- },
1867
- "32228": {
1868
- "content": "\\circdet",
1869
- "lstrip": false,
1870
- "normalized": true,
1871
- "rstrip": false,
1872
- "single_word": false,
1873
- "special": false
1874
- },
1875
- "32229": {
1876
- "content": "\\circf",
1877
- "lstrip": false,
1878
- "normalized": true,
1879
- "rstrip": false,
1880
- "single_word": false,
1881
- "special": false
1882
- },
1883
- "32230": {
1884
- "content": "\\circlearrowleft",
1885
- "lstrip": false,
1886
- "normalized": true,
1887
- "rstrip": false,
1888
- "single_word": false,
1889
- "special": false
1890
- },
1891
- "32231": {
1892
- "content": "\\circlearrowright",
1893
- "lstrip": false,
1894
- "normalized": true,
1895
- "rstrip": false,
1896
- "single_word": false,
1897
- "special": false
1898
- },
1899
- "32232": {
1900
- "content": "\\circledR",
1901
- "lstrip": false,
1902
- "normalized": true,
1903
- "rstrip": false,
1904
- "single_word": false,
1905
- "special": false
1906
- },
1907
- "32233": {
1908
- "content": "\\circledast",
1909
- "lstrip": false,
1910
- "normalized": true,
1911
- "rstrip": false,
1912
- "single_word": false,
1913
- "special": false
1914
- },
1915
- "32234": {
1916
- "content": "\\cjkend",
1917
- "lstrip": false,
1918
- "normalized": true,
1919
- "rstrip": false,
1920
- "single_word": false,
1921
- "special": false
1922
- },
1923
- "32235": {
1924
- "content": "\\cjkstart",
1925
- "lstrip": false,
1926
- "normalized": true,
1927
- "rstrip": false,
1928
- "single_word": false,
1929
- "special": false
1930
- },
1931
- "32236": {
1932
- "content": "\\cline",
1933
- "lstrip": false,
1934
- "normalized": true,
1935
- "rstrip": false,
1936
- "single_word": false,
1937
- "special": false
1938
- },
1939
- "32237": {
1940
- "content": "\\complement",
1941
- "lstrip": false,
1942
- "normalized": true,
1943
- "rstrip": false,
1944
- "single_word": false,
1945
- "special": false
1946
- },
1947
- "32238": {
1948
- "content": "\\cong",
1949
- "lstrip": false,
1950
- "normalized": true,
1951
- "rstrip": false,
1952
- "single_word": false,
1953
- "special": false
1954
- },
1955
- "32239": {
1956
- "content": "\\coprod",
1957
- "lstrip": false,
1958
- "normalized": true,
1959
- "rstrip": false,
1960
- "single_word": false,
1961
- "special": false
1962
- },
1963
- "32240": {
1964
- "content": "\\coprodAut",
1965
- "lstrip": false,
1966
- "normalized": true,
1967
- "rstrip": false,
1968
- "single_word": false,
1969
- "special": false
1970
- },
1971
- "32241": {
1972
- "content": "\\coprodU",
1973
- "lstrip": false,
1974
- "normalized": true,
1975
- "rstrip": false,
1976
- "single_word": false,
1977
- "special": false
1978
- },
1979
- "32242": {
1980
- "content": "\\cos",
1981
- "lstrip": false,
1982
- "normalized": true,
1983
- "rstrip": false,
1984
- "single_word": false,
1985
- "special": false
1986
- },
1987
- "32243": {
1988
- "content": "\\cosh",
1989
- "lstrip": false,
1990
- "normalized": true,
1991
- "rstrip": false,
1992
- "single_word": false,
1993
- "special": false
1994
- },
1995
- "32244": {
1996
- "content": "\\cot",
1997
- "lstrip": false,
1998
- "normalized": true,
1999
- "rstrip": false,
2000
- "single_word": false,
2001
- "special": false
2002
- },
2003
- "32245": {
2004
- "content": "\\cox",
2005
- "lstrip": false,
2006
- "normalized": true,
2007
- "rstrip": false,
2008
- "single_word": false,
2009
- "special": false
2010
- },
2011
- "32246": {
2012
- "content": "\\csc",
2013
- "lstrip": false,
2014
- "normalized": true,
2015
- "rstrip": false,
2016
- "single_word": false,
2017
- "special": false
2018
- },
2019
- "32247": {
2020
- "content": "\\cup",
2021
- "lstrip": false,
2022
- "normalized": true,
2023
- "rstrip": false,
2024
- "single_word": false,
2025
- "special": false
2026
- },
2027
- "32248": {
2028
- "content": "\\curlyvee",
2029
- "lstrip": false,
2030
- "normalized": true,
2031
- "rstrip": false,
2032
- "single_word": false,
2033
- "special": false
2034
- },
2035
- "32249": {
2036
- "content": "\\curlywedge",
2037
- "lstrip": false,
2038
- "normalized": true,
2039
- "rstrip": false,
2040
- "single_word": false,
2041
- "special": false
2042
- },
2043
- "32250": {
2044
- "content": "\\curvearrowleft",
2045
- "lstrip": false,
2046
- "normalized": true,
2047
- "rstrip": false,
2048
- "single_word": false,
2049
- "special": false
2050
- },
2051
- "32251": {
2052
- "content": "\\curvearrowright",
2053
- "lstrip": false,
2054
- "normalized": true,
2055
- "rstrip": false,
2056
- "single_word": false,
2057
- "special": false
2058
- },
2059
- "32252": {
2060
- "content": "\\dagger",
2061
- "lstrip": false,
2062
- "normalized": true,
2063
- "rstrip": false,
2064
- "single_word": false,
2065
- "special": false
2066
- },
2067
- "32253": {
2068
- "content": "\\dashv",
2069
- "lstrip": false,
2070
- "normalized": true,
2071
- "rstrip": false,
2072
- "single_word": false,
2073
- "special": false
2074
- },
2075
- "32254": {
2076
- "content": "\\ddagger",
2077
- "lstrip": false,
2078
- "normalized": true,
2079
- "rstrip": false,
2080
- "single_word": false,
2081
- "special": false
2082
- },
2083
- "32255": {
2084
- "content": "\\dddo",
2085
- "lstrip": false,
2086
- "normalized": true,
2087
- "rstrip": false,
2088
- "single_word": false,
2089
- "special": false
2090
- },
2091
- "32256": {
2092
- "content": "\\dddot",
2093
- "lstrip": false,
2094
- "normalized": true,
2095
- "rstrip": false,
2096
- "single_word": false,
2097
- "special": false
2098
- },
2099
- "32257": {
2100
- "content": "\\ddo",
2101
- "lstrip": false,
2102
- "normalized": true,
2103
- "rstrip": false,
2104
- "single_word": false,
2105
- "special": false
2106
- },
2107
- "32258": {
2108
- "content": "\\ddot",
2109
- "lstrip": false,
2110
- "normalized": true,
2111
- "rstrip": false,
2112
- "single_word": false,
2113
- "special": false
2114
- },
2115
- "32259": {
2116
- "content": "\\ddots",
2117
- "lstrip": false,
2118
- "normalized": true,
2119
- "rstrip": false,
2120
- "single_word": false,
2121
- "special": false
2122
- },
2123
- "32260": {
2124
- "content": "\\delta",
2125
- "lstrip": false,
2126
- "normalized": true,
2127
- "rstrip": false,
2128
- "single_word": false,
2129
- "special": false
2130
- },
2131
- "32261": {
2132
- "content": "\\deltafunctor",
2133
- "lstrip": false,
2134
- "normalized": true,
2135
- "rstrip": false,
2136
- "single_word": false,
2137
- "special": false
2138
- },
2139
- "32262": {
2140
- "content": "\\diamond",
2141
- "lstrip": false,
2142
- "normalized": true,
2143
- "rstrip": false,
2144
- "single_word": false,
2145
- "special": false
2146
- },
2147
- "32263": {
2148
- "content": "\\digamma",
2149
- "lstrip": false,
2150
- "normalized": true,
2151
- "rstrip": false,
2152
- "single_word": false,
2153
- "special": false
2154
- },
2155
- "32264": {
2156
- "content": "\\directory",
2157
- "lstrip": false,
2158
- "normalized": true,
2159
- "rstrip": false,
2160
- "single_word": false,
2161
- "special": false
2162
- },
2163
- "32265": {
2164
- "content": "\\div",
2165
- "lstrip": false,
2166
- "normalized": true,
2167
- "rstrip": false,
2168
- "single_word": false,
2169
- "special": false
2170
- },
2171
- "32266": {
2172
- "content": "\\dot",
2173
- "lstrip": false,
2174
- "normalized": true,
2175
- "rstrip": false,
2176
- "single_word": false,
2177
- "special": false
2178
- },
2179
- "32267": {
2180
- "content": "\\doteq",
2181
- "lstrip": false,
2182
- "normalized": true,
2183
- "rstrip": false,
2184
- "single_word": false,
2185
- "special": false
2186
- },
2187
- "32268": {
2188
- "content": "\\doteqdot",
2189
- "lstrip": false,
2190
- "normalized": true,
2191
- "rstrip": false,
2192
- "single_word": false,
2193
- "special": false
2194
- },
2195
- "32269": {
2196
- "content": "\\dots",
2197
- "lstrip": false,
2198
- "normalized": true,
2199
- "rstrip": false,
2200
- "single_word": false,
2201
- "special": false
2202
- },
2203
- "32270": {
2204
- "content": "\\downarrow",
2205
- "lstrip": false,
2206
- "normalized": true,
2207
- "rstrip": false,
2208
- "single_word": false,
2209
- "special": false
2210
- },
2211
- "32271": {
2212
- "content": "\\downharpoonright",
2213
- "lstrip": false,
2214
- "normalized": true,
2215
- "rstrip": false,
2216
- "single_word": false,
2217
- "special": false
2218
- },
2219
- "32272": {
2220
- "content": "\\ell",
2221
- "lstrip": false,
2222
- "normalized": true,
2223
- "rstrip": false,
2224
- "single_word": false,
2225
- "special": false
2226
- },
2227
- "32273": {
2228
- "content": "\\ellholds",
2229
- "lstrip": false,
2230
- "normalized": true,
2231
- "rstrip": false,
2232
- "single_word": false,
2233
- "special": false
2234
- },
2235
- "32274": {
2236
- "content": "\\ellrepresentation",
2237
- "lstrip": false,
2238
- "normalized": true,
2239
- "rstrip": false,
2240
- "single_word": false,
2241
- "special": false
2242
- },
2243
- "32275": {
2244
- "content": "\\emptyset",
2245
- "lstrip": false,
2246
- "normalized": true,
2247
- "rstrip": false,
2248
- "single_word": false,
2249
- "special": false
2250
- },
2251
- "32276": {
2252
- "content": "\\end",
2253
- "lstrip": false,
2254
- "normalized": true,
2255
- "rstrip": false,
2256
- "single_word": false,
2257
- "special": false
2258
- },
2259
- "32277": {
2260
- "content": "\\epsilon",
2261
- "lstrip": false,
2262
- "normalized": true,
2263
- "rstrip": false,
2264
- "single_word": false,
2265
- "special": false
2266
- },
2267
- "32278": {
2268
- "content": "\\epsilonKer",
2269
- "lstrip": false,
2270
- "normalized": true,
2271
- "rstrip": false,
2272
- "single_word": false,
2273
- "special": false
2274
- },
2275
- "32279": {
2276
- "content": "\\equiv",
2277
- "lstrip": false,
2278
- "normalized": true,
2279
- "rstrip": false,
2280
- "single_word": false,
2281
- "special": false
2282
- },
2283
- "32280": {
2284
- "content": "\\eta",
2285
- "lstrip": false,
2286
- "normalized": true,
2287
- "rstrip": false,
2288
- "single_word": false,
2289
- "special": false
2290
- },
2291
- "32281": {
2292
- "content": "\\ex",
2293
- "lstrip": false,
2294
- "normalized": true,
2295
- "rstrip": false,
2296
- "single_word": false,
2297
- "special": false
2298
- },
2299
- "32282": {
2300
- "content": "\\exists",
2301
- "lstrip": false,
2302
- "normalized": true,
2303
- "rstrip": false,
2304
- "single_word": false,
2305
- "special": false
2306
- },
2307
- "32283": {
2308
- "content": "\\existsc",
2309
- "lstrip": false,
2310
- "normalized": true,
2311
- "rstrip": false,
2312
- "single_word": false,
2313
- "special": false
2314
- },
2315
- "32284": {
2316
- "content": "\\existsclosed",
2317
- "lstrip": false,
2318
- "normalized": true,
2319
- "rstrip": false,
2320
- "single_word": false,
2321
- "special": false
2322
- },
2323
- "32285": {
2324
- "content": "\\exp",
2325
- "lstrip": false,
2326
- "normalized": true,
2327
- "rstrip": false,
2328
- "single_word": false,
2329
- "special": false
2330
- },
2331
- "32286": {
2332
- "content": "\\fallingdotseq",
2333
- "lstrip": false,
2334
- "normalized": true,
2335
- "rstrip": false,
2336
- "single_word": false,
2337
- "special": false
2338
- },
2339
- "32287": {
2340
- "content": "\\forall",
2341
- "lstrip": false,
2342
- "normalized": true,
2343
- "rstrip": false,
2344
- "single_word": false,
2345
- "special": false
2346
- },
2347
- "32288": {
2348
- "content": "\\forallsomething",
2349
- "lstrip": false,
2350
- "normalized": true,
2351
- "rstrip": false,
2352
- "single_word": false,
2353
- "special": false
2354
- },
2355
- "32289": {
2356
- "content": "\\frac",
2357
- "lstrip": false,
2358
- "normalized": true,
2359
- "rstrip": false,
2360
- "single_word": false,
2361
- "special": false
2362
- },
2363
- "32290": {
2364
- "content": "\\frown",
2365
- "lstrip": false,
2366
- "normalized": true,
2367
- "rstrip": false,
2368
- "single_word": false,
2369
- "special": false
2370
- },
2371
- "32291": {
2372
- "content": "\\gamma",
2373
- "lstrip": false,
2374
- "normalized": true,
2375
- "rstrip": false,
2376
- "single_word": false,
2377
- "special": false
2378
- },
2379
- "32292": {
2380
- "content": "\\gammavalues",
2381
- "lstrip": false,
2382
- "normalized": true,
2383
- "rstrip": false,
2384
- "single_word": false,
2385
- "special": false
2386
- },
2387
- "32293": {
2388
- "content": "\\gcd",
2389
- "lstrip": false,
2390
- "normalized": true,
2391
- "rstrip": false,
2392
- "single_word": false,
2393
- "special": false
2394
- },
2395
- "32294": {
2396
- "content": "\\geq",
2397
- "lstrip": false,
2398
- "normalized": true,
2399
- "rstrip": false,
2400
- "single_word": false,
2401
- "special": false
2402
- },
2403
- "32295": {
2404
- "content": "\\geqq",
2405
- "lstrip": false,
2406
- "normalized": true,
2407
- "rstrip": false,
2408
- "single_word": false,
2409
- "special": false
2410
- },
2411
- "32296": {
2412
- "content": "\\geqslant",
2413
- "lstrip": false,
2414
- "normalized": true,
2415
- "rstrip": false,
2416
- "single_word": false,
2417
- "special": false
2418
- },
2419
- "32297": {
2420
- "content": "\\gg",
2421
- "lstrip": false,
2422
- "normalized": true,
2423
- "rstrip": false,
2424
- "single_word": false,
2425
- "special": false
2426
- },
2427
- "32298": {
2428
- "content": "\\grave",
2429
- "lstrip": false,
2430
- "normalized": true,
2431
- "rstrip": false,
2432
- "single_word": false,
2433
- "special": false
2434
- },
2435
- "32299": {
2436
- "content": "\\gtrdot",
2437
- "lstrip": false,
2438
- "normalized": true,
2439
- "rstrip": false,
2440
- "single_word": false,
2441
- "special": false
2442
- },
2443
- "32300": {
2444
- "content": "\\gtreqless",
2445
- "lstrip": false,
2446
- "normalized": true,
2447
- "rstrip": false,
2448
- "single_word": false,
2449
- "special": false
2450
- },
2451
- "32301": {
2452
- "content": "\\gtrless",
2453
- "lstrip": false,
2454
- "normalized": true,
2455
- "rstrip": false,
2456
- "single_word": false,
2457
- "special": false
2458
- },
2459
- "32302": {
2460
- "content": "\\gtrsim",
2461
- "lstrip": false,
2462
- "normalized": true,
2463
- "rstrip": false,
2464
- "single_word": false,
2465
- "special": false
2466
- },
2467
- "32303": {
2468
- "content": "\\hat",
2469
- "lstrip": false,
2470
- "normalized": true,
2471
- "rstrip": false,
2472
- "single_word": false,
2473
- "special": false
2474
- },
2475
- "32304": {
2476
- "content": "\\hbar",
2477
- "lstrip": false,
2478
- "normalized": true,
2479
- "rstrip": false,
2480
- "single_word": false,
2481
- "special": false
2482
- },
2483
- "32305": {
2484
- "content": "\\hdashline",
2485
- "lstrip": false,
2486
- "normalized": true,
2487
- "rstrip": false,
2488
- "single_word": false,
2489
- "special": false
2490
- },
2491
- "32306": {
2492
- "content": "\\hline",
2493
- "lstrip": false,
2494
- "normalized": true,
2495
- "rstrip": false,
2496
- "single_word": false,
2497
- "special": false
2498
- },
2499
- "32307": {
2500
- "content": "\\hlinee",
2501
- "lstrip": false,
2502
- "normalized": true,
2503
- "rstrip": false,
2504
- "single_word": false,
2505
- "special": false
2506
- },
2507
- "32308": {
2508
- "content": "\\hookleftarrow",
2509
- "lstrip": false,
2510
- "normalized": true,
2511
- "rstrip": false,
2512
- "single_word": false,
2513
- "special": false
2514
- },
2515
- "32309": {
2516
- "content": "\\hookrightarrow",
2517
- "lstrip": false,
2518
- "normalized": true,
2519
- "rstrip": false,
2520
- "single_word": false,
2521
- "special": false
2522
- },
2523
- "32310": {
2524
- "content": "\\hyunj",
2525
- "lstrip": false,
2526
- "normalized": true,
2527
- "rstrip": false,
2528
- "single_word": false,
2529
- "special": false
2530
- },
2531
- "32311": {
2532
- "content": "\\iiint",
2533
- "lstrip": false,
2534
- "normalized": true,
2535
- "rstrip": false,
2536
- "single_word": false,
2537
- "special": false
2538
- },
2539
- "32312": {
2540
- "content": "\\iint",
2541
- "lstrip": false,
2542
- "normalized": true,
2543
- "rstrip": false,
2544
- "single_word": false,
2545
- "special": false
2546
- },
2547
- "32313": {
2548
- "content": "\\imath",
2549
- "lstrip": false,
2550
- "normalized": true,
2551
- "rstrip": false,
2552
- "single_word": false,
2553
- "special": false
2554
- },
2555
- "32314": {
2556
- "content": "\\in",
2557
- "lstrip": false,
2558
- "normalized": true,
2559
- "rstrip": false,
2560
- "single_word": false,
2561
- "special": false
2562
- },
2563
- "32315": {
2564
- "content": "\\inG",
2565
- "lstrip": false,
2566
- "normalized": true,
2567
- "rstrip": false,
2568
- "single_word": false,
2569
- "special": false
2570
- },
2571
- "32316": {
2572
- "content": "\\inMag",
2573
- "lstrip": false,
2574
- "normalized": true,
2575
- "rstrip": false,
2576
- "single_word": false,
2577
- "special": false
2578
- },
2579
- "32317": {
2580
- "content": "\\inX",
2581
- "lstrip": false,
2582
- "normalized": true,
2583
- "rstrip": false,
2584
- "single_word": false,
2585
- "special": false
2586
- },
2587
- "32318": {
2588
- "content": "\\inf",
2589
- "lstrip": false,
2590
- "normalized": true,
2591
- "rstrip": false,
2592
- "single_word": false,
2593
- "special": false
2594
- },
2595
- "32319": {
2596
- "content": "\\infty",
2597
- "lstrip": false,
2598
- "normalized": true,
2599
- "rstrip": false,
2600
- "single_word": false,
2601
- "special": false
2602
- },
2603
- "32320": {
2604
- "content": "\\inftyalso",
2605
- "lstrip": false,
2606
- "normalized": true,
2607
- "rstrip": false,
2608
- "single_word": false,
2609
- "special": false
2610
- },
2611
- "32321": {
2612
- "content": "\\inftyo",
2613
- "lstrip": false,
2614
- "normalized": true,
2615
- "rstrip": false,
2616
- "single_word": false,
2617
- "special": false
2618
- },
2619
- "32322": {
2620
- "content": "\\inftyramifies",
2621
- "lstrip": false,
2622
- "normalized": true,
2623
- "rstrip": false,
2624
- "single_word": false,
2625
- "special": false
2626
- },
2627
- "32323": {
2628
- "content": "\\inm",
2629
- "lstrip": false,
2630
- "normalized": true,
2631
- "rstrip": false,
2632
- "single_word": false,
2633
- "special": false
2634
- },
2635
- "32324": {
2636
- "content": "\\inn",
2637
- "lstrip": false,
2638
- "normalized": true,
2639
- "rstrip": false,
2640
- "single_word": false,
2641
- "special": false
2642
- },
2643
- "32325": {
2644
- "content": "\\int",
2645
- "lstrip": false,
2646
- "normalized": true,
2647
- "rstrip": false,
2648
- "single_word": false,
2649
- "special": false
2650
- },
2651
- "32326": {
2652
- "content": "\\intormula",
2653
- "lstrip": false,
2654
- "normalized": true,
2655
- "rstrip": false,
2656
- "single_word": false,
2657
- "special": false
2658
- },
2659
- "32327": {
2660
- "content": "\\iota",
2661
- "lstrip": false,
2662
- "normalized": true,
2663
- "rstrip": false,
2664
- "single_word": false,
2665
- "special": false
2666
- },
2667
- "32328": {
2668
- "content": "\\jmath",
2669
- "lstrip": false,
2670
- "normalized": true,
2671
- "rstrip": false,
2672
- "single_word": false,
2673
- "special": false
2674
- },
2675
- "32329": {
2676
- "content": "\\kappa",
2677
- "lstrip": false,
2678
- "normalized": true,
2679
- "rstrip": false,
2680
- "single_word": false,
2681
- "special": false
2682
- },
2683
- "32330": {
2684
- "content": "\\kappai",
2685
- "lstrip": false,
2686
- "normalized": true,
2687
- "rstrip": false,
2688
- "single_word": false,
2689
- "special": false
2690
- },
2691
- "32331": {
2692
- "content": "\\kappath",
2693
- "lstrip": false,
2694
- "normalized": true,
2695
- "rstrip": false,
2696
- "single_word": false,
2697
- "special": false
2698
- },
2699
- "32332": {
2700
- "content": "\\lambda",
2701
- "lstrip": false,
2702
- "normalized": true,
2703
- "rstrip": false,
2704
- "single_word": false,
2705
- "special": false
2706
- },
2707
- "32333": {
2708
- "content": "\\lambdaa",
2709
- "lstrip": false,
2710
- "normalized": true,
2711
- "rstrip": false,
2712
- "single_word": false,
2713
- "special": false
2714
- },
2715
- "32334": {
2716
- "content": "\\lambdafinite",
2717
- "lstrip": false,
2718
- "normalized": true,
2719
- "rstrip": false,
2720
- "single_word": false,
2721
- "special": false
2722
- },
2723
- "32335": {
2724
- "content": "\\lambdasemiring",
2725
- "lstrip": false,
2726
- "normalized": true,
2727
- "rstrip": false,
2728
- "single_word": false,
2729
- "special": false
2730
- },
2731
- "32336": {
2732
- "content": "\\langle",
2733
- "lstrip": false,
2734
- "normalized": true,
2735
- "rstrip": false,
2736
- "single_word": false,
2737
- "special": false
2738
- },
2739
- "32337": {
2740
- "content": "\\langlee",
2741
- "lstrip": false,
2742
- "normalized": true,
2743
- "rstrip": false,
2744
- "single_word": false,
2745
- "special": false
2746
- },
2747
- "32338": {
2748
- "content": "\\langleu",
2749
- "lstrip": false,
2750
- "normalized": true,
2751
- "rstrip": false,
2752
- "single_word": false,
2753
- "special": false
2754
- },
2755
- "32339": {
2756
- "content": "\\langley",
2757
- "lstrip": false,
2758
- "normalized": true,
2759
- "rstrip": false,
2760
- "single_word": false,
2761
- "special": false
2762
- },
2763
- "32340": {
2764
- "content": "\\latex",
2765
- "lstrip": false,
2766
- "normalized": true,
2767
- "rstrip": false,
2768
- "single_word": false,
2769
- "special": false
2770
- },
2771
- "32341": {
2772
- "content": "\\lceil",
2773
- "lstrip": false,
2774
- "normalized": true,
2775
- "rstrip": false,
2776
- "single_word": false,
2777
- "special": false
2778
- },
2779
- "32342": {
2780
- "content": "\\lceilk",
2781
- "lstrip": false,
2782
- "normalized": true,
2783
- "rstrip": false,
2784
- "single_word": false,
2785
- "special": false
2786
- },
2787
- "32343": {
2788
- "content": "\\lceiln",
2789
- "lstrip": false,
2790
- "normalized": true,
2791
- "rstrip": false,
2792
- "single_word": false,
2793
- "special": false
2794
- },
2795
- "32344": {
2796
- "content": "\\lcm",
2797
- "lstrip": false,
2798
- "normalized": true,
2799
- "rstrip": false,
2800
- "single_word": false,
2801
- "special": false
2802
- },
2803
- "32345": {
2804
- "content": "\\ldot",
2805
- "lstrip": false,
2806
- "normalized": true,
2807
- "rstrip": false,
2808
- "single_word": false,
2809
- "special": false
2810
- },
2811
- "32346": {
2812
- "content": "\\ldots",
2813
- "lstrip": false,
2814
- "normalized": true,
2815
- "rstrip": false,
2816
- "single_word": false,
2817
- "special": false
2818
- },
2819
- "32347": {
2820
- "content": "\\ldotsPROOF",
2821
- "lstrip": false,
2822
- "normalized": true,
2823
- "rstrip": false,
2824
- "single_word": false,
2825
- "special": false
2826
- },
2827
- "32348": {
2828
- "content": "\\ldotsetc",
2829
- "lstrip": false,
2830
- "normalized": true,
2831
- "rstrip": false,
2832
- "single_word": false,
2833
- "special": false
2834
- },
2835
- "32349": {
2836
- "content": "\\leadsto",
2837
- "lstrip": false,
2838
- "normalized": true,
2839
- "rstrip": false,
2840
- "single_word": false,
2841
- "special": false
2842
- },
2843
- "32350": {
2844
- "content": "\\left",
2845
- "lstrip": false,
2846
- "normalized": true,
2847
- "rstrip": false,
2848
- "single_word": false,
2849
- "special": false
2850
- },
2851
- "32351": {
2852
- "content": "\\leftleftarrows",
2853
- "lstrip": false,
2854
- "normalized": true,
2855
- "rstrip": false,
2856
- "single_word": false,
2857
- "special": false
2858
- },
2859
- "32352": {
2860
- "content": "\\leftrightarrow",
2861
- "lstrip": false,
2862
- "normalized": true,
2863
- "rstrip": false,
2864
- "single_word": false,
2865
- "special": false
2866
- },
2867
- "32353": {
2868
- "content": "\\leftrightarrows",
2869
- "lstrip": false,
2870
- "normalized": true,
2871
- "rstrip": false,
2872
- "single_word": false,
2873
- "special": false
2874
- },
2875
- "32354": {
2876
- "content": "\\leftrightharpoons",
2877
- "lstrip": false,
2878
- "normalized": true,
2879
- "rstrip": false,
2880
- "single_word": false,
2881
- "special": false
2882
- },
2883
- "32355": {
2884
- "content": "\\leq",
2885
- "lstrip": false,
2886
- "normalized": true,
2887
- "rstrip": false,
2888
- "single_word": false,
2889
- "special": false
2890
- },
2891
- "32356": {
2892
- "content": "\\leqq",
2893
- "lstrip": false,
2894
- "normalized": true,
2895
- "rstrip": false,
2896
- "single_word": false,
2897
- "special": false
2898
- },
2899
- "32357": {
2900
- "content": "\\leqslant",
2901
- "lstrip": false,
2902
- "normalized": true,
2903
- "rstrip": false,
2904
- "single_word": false,
2905
- "special": false
2906
- },
2907
- "32358": {
2908
- "content": "\\lessdot",
2909
- "lstrip": false,
2910
- "normalized": true,
2911
- "rstrip": false,
2912
- "single_word": false,
2913
- "special": false
2914
- },
2915
- "32359": {
2916
- "content": "\\lesseqgtr",
2917
- "lstrip": false,
2918
- "normalized": true,
2919
- "rstrip": false,
2920
- "single_word": false,
2921
- "special": false
2922
- },
2923
- "32360": {
2924
- "content": "\\lessgtr",
2925
- "lstrip": false,
2926
- "normalized": true,
2927
- "rstrip": false,
2928
- "single_word": false,
2929
- "special": false
2930
- },
2931
- "32361": {
2932
- "content": "\\lesssim",
2933
- "lstrip": false,
2934
- "normalized": true,
2935
- "rstrip": false,
2936
- "single_word": false,
2937
- "special": false
2938
- },
2939
- "32362": {
2940
- "content": "\\lfloor",
2941
- "lstrip": false,
2942
- "normalized": true,
2943
- "rstrip": false,
2944
- "single_word": false,
2945
- "special": false
2946
- },
2947
- "32363": {
2948
- "content": "\\lg",
2949
- "lstrip": false,
2950
- "normalized": true,
2951
- "rstrip": false,
2952
- "single_word": false,
2953
- "special": false
2954
- },
2955
- "32364": {
2956
- "content": "\\lim",
2957
- "lstrip": false,
2958
- "normalized": true,
2959
- "rstrip": false,
2960
- "single_word": false,
2961
- "special": false
2962
- },
2963
- "32365": {
2964
- "content": "\\liminf",
2965
- "lstrip": false,
2966
- "normalized": true,
2967
- "rstrip": false,
2968
- "single_word": false,
2969
- "special": false
2970
- },
2971
- "32366": {
2972
- "content": "\\limsup",
2973
- "lstrip": false,
2974
- "normalized": true,
2975
- "rstrip": false,
2976
- "single_word": false,
2977
- "special": false
2978
- },
2979
- "32367": {
2980
- "content": "\\ll",
2981
- "lstrip": false,
2982
- "normalized": true,
2983
- "rstrip": false,
2984
- "single_word": false,
2985
- "special": false
2986
- },
2987
- "32368": {
2988
- "content": "\\llbracket",
2989
- "lstrip": false,
2990
- "normalized": true,
2991
- "rstrip": false,
2992
- "single_word": false,
2993
- "special": false
2994
- },
2995
- "32369": {
2996
- "content": "\\llcorner",
2997
- "lstrip": false,
2998
- "normalized": true,
2999
- "rstrip": false,
3000
- "single_word": false,
3001
- "special": false
3002
- },
3003
- "32370": {
3004
- "content": "\\lll",
3005
- "lstrip": false,
3006
- "normalized": true,
3007
- "rstrip": false,
3008
- "single_word": false,
3009
- "special": false
3010
- },
3011
- "32371": {
3012
- "content": "\\ln",
3013
- "lstrip": false,
3014
- "normalized": true,
3015
- "rstrip": false,
3016
- "single_word": false,
3017
- "special": false
3018
- },
3019
- "32372": {
3020
- "content": "\\log",
3021
- "lstrip": false,
3022
- "normalized": true,
3023
- "rstrip": false,
3024
- "single_word": false,
3025
- "special": false
3026
- },
3027
- "32373": {
3028
- "content": "\\longdiv",
3029
- "lstrip": false,
3030
- "normalized": true,
3031
- "rstrip": false,
3032
- "single_word": false,
3033
- "special": false
3034
- },
3035
- "32374": {
3036
- "content": "\\longleftarrow",
3037
- "lstrip": false,
3038
- "normalized": true,
3039
- "rstrip": false,
3040
- "single_word": false,
3041
- "special": false
3042
- },
3043
- "32375": {
3044
- "content": "\\longleftrightarrow",
3045
- "lstrip": false,
3046
- "normalized": true,
3047
- "rstrip": false,
3048
- "single_word": false,
3049
- "special": false
3050
- },
3051
- "32376": {
3052
- "content": "\\longleftrightarrowEfi",
3053
- "lstrip": false,
3054
- "normalized": true,
3055
- "rstrip": false,
3056
- "single_word": false,
3057
- "special": false
3058
- },
3059
- "32377": {
3060
- "content": "\\longmapsto",
3061
- "lstrip": false,
3062
- "normalized": true,
3063
- "rstrip": false,
3064
- "single_word": false,
3065
- "special": false
3066
- },
3067
- "32378": {
3068
- "content": "\\longmapstomult",
3069
- "lstrip": false,
3070
- "normalized": true,
3071
- "rstrip": false,
3072
- "single_word": false,
3073
- "special": false
3074
- },
3075
- "32379": {
3076
- "content": "\\longrightarrow",
3077
- "lstrip": false,
3078
- "normalized": true,
3079
- "rstrip": false,
3080
- "single_word": false,
3081
- "special": false
3082
- },
3083
- "32380": {
3084
- "content": "\\lrcorner",
3085
- "lstrip": false,
3086
- "normalized": true,
3087
- "rstrip": false,
3088
- "single_word": false,
3089
- "special": false
3090
- },
3091
- "32381": {
3092
- "content": "\\ltimes",
3093
- "lstrip": false,
3094
- "normalized": true,
3095
- "rstrip": false,
3096
- "single_word": false,
3097
- "special": false
3098
- },
3099
- "32382": {
3100
- "content": "\\lvert",
3101
- "lstrip": false,
3102
- "normalized": true,
3103
- "rstrip": false,
3104
- "single_word": false,
3105
- "special": false
3106
- },
3107
- "32383": {
3108
- "content": "\\mapsto",
3109
- "lstrip": false,
3110
- "normalized": true,
3111
- "rstrip": false,
3112
- "single_word": false,
3113
- "special": false
3114
- },
3115
- "32384": {
3116
- "content": "\\mapstoW",
3117
- "lstrip": false,
3118
- "normalized": true,
3119
- "rstrip": false,
3120
- "single_word": false,
3121
- "special": false
3122
- },
3123
- "32385": {
3124
- "content": "\\mathbb",
3125
- "lstrip": false,
3126
- "normalized": true,
3127
- "rstrip": false,
3128
- "single_word": false,
3129
- "special": false
3130
- },
3131
- "32386": {
3132
- "content": "\\mathbbR",
3133
- "lstrip": false,
3134
- "normalized": true,
3135
- "rstrip": false,
3136
- "single_word": false,
3137
- "special": false
3138
- },
3139
- "32387": {
3140
- "content": "\\mathbbZrank",
3141
- "lstrip": false,
3142
- "normalized": true,
3143
- "rstrip": false,
3144
- "single_word": false,
3145
- "special": false
3146
- },
3147
- "32388": {
3148
- "content": "\\mathbbZtakes",
3149
- "lstrip": false,
3150
- "normalized": true,
3151
- "rstrip": false,
3152
- "single_word": false,
3153
- "special": false
3154
- },
3155
- "32389": {
3156
- "content": "\\mathbbl",
3157
- "lstrip": false,
3158
- "normalized": true,
3159
- "rstrip": false,
3160
- "single_word": false,
3161
- "special": false
3162
- },
3163
- "32390": {
3164
- "content": "\\mathbf",
3165
- "lstrip": false,
3166
- "normalized": true,
3167
- "rstrip": false,
3168
- "single_word": false,
3169
- "special": false
3170
- },
3171
- "32391": {
3172
- "content": "\\mathcal",
3173
- "lstrip": false,
3174
- "normalized": true,
3175
- "rstrip": false,
3176
- "single_word": false,
3177
- "special": false
3178
- },
3179
- "32392": {
3180
- "content": "\\mathcalM",
3181
- "lstrip": false,
3182
- "normalized": true,
3183
- "rstrip": false,
3184
- "single_word": false,
3185
- "special": false
3186
- },
3187
- "32393": {
3188
- "content": "\\mathcalom",
3189
- "lstrip": false,
3190
- "normalized": true,
3191
- "rstrip": false,
3192
- "single_word": false,
3193
- "special": false
3194
- },
3195
- "32394": {
3196
- "content": "\\mathfrak",
3197
- "lstrip": false,
3198
- "normalized": true,
3199
- "rstrip": false,
3200
- "single_word": false,
3201
- "special": false
3202
- },
3203
- "32395": {
3204
- "content": "\\mathrm",
3205
- "lstrip": false,
3206
- "normalized": true,
3207
- "rstrip": false,
3208
- "single_word": false,
3209
- "special": false
3210
- },
3211
- "32396": {
3212
- "content": "\\mathscr",
3213
- "lstrip": false,
3214
- "normalized": true,
3215
- "rstrip": false,
3216
- "single_word": false,
3217
- "special": false
3218
- },
3219
- "32397": {
3220
- "content": "\\mathscrB",
3221
- "lstrip": false,
3222
- "normalized": true,
3223
- "rstrip": false,
3224
- "single_word": false,
3225
- "special": false
3226
- },
3227
- "32398": {
3228
- "content": "\\mathscrS",
3229
- "lstrip": false,
3230
- "normalized": true,
3231
- "rstrip": false,
3232
- "single_word": false,
3233
- "special": false
3234
- },
3235
- "32399": {
3236
- "content": "\\mathscrf",
3237
- "lstrip": false,
3238
- "normalized": true,
3239
- "rstrip": false,
3240
- "single_word": false,
3241
- "special": false
3242
- },
3243
- "32400": {
3244
- "content": "\\matshcr",
3245
- "lstrip": false,
3246
- "normalized": true,
3247
- "rstrip": false,
3248
- "single_word": false,
3249
- "special": false
3250
- },
3251
- "32401": {
3252
- "content": "\\max",
3253
- "lstrip": false,
3254
- "normalized": true,
3255
- "rstrip": false,
3256
- "single_word": false,
3257
- "special": false
3258
- },
3259
- "32402": {
3260
- "content": "\\measuredangle",
3261
- "lstrip": false,
3262
- "normalized": true,
3263
- "rstrip": false,
3264
- "single_word": false,
3265
- "special": false
3266
- },
3267
- "32403": {
3268
- "content": "\\mho",
3269
- "lstrip": false,
3270
- "normalized": true,
3271
- "rstrip": false,
3272
- "single_word": false,
3273
- "special": false
3274
- },
3275
- "32404": {
3276
- "content": "\\mid",
3277
- "lstrip": false,
3278
- "normalized": true,
3279
- "rstrip": false,
3280
- "single_word": false,
3281
- "special": false
3282
- },
3283
- "32405": {
3284
- "content": "\\min",
3285
- "lstrip": false,
3286
- "normalized": true,
3287
- "rstrip": false,
3288
- "single_word": false,
3289
- "special": false
3290
- },
3291
- "32406": {
3292
- "content": "\\models",
3293
- "lstrip": false,
3294
- "normalized": true,
3295
- "rstrip": false,
3296
- "single_word": false,
3297
- "special": false
3298
- },
3299
- "32407": {
3300
- "content": "\\mp",
3301
- "lstrip": false,
3302
- "normalized": true,
3303
- "rstrip": false,
3304
- "single_word": false,
3305
- "special": false
3306
- },
3307
- "32408": {
3308
- "content": "\\mu",
3309
- "lstrip": false,
3310
- "normalized": true,
3311
- "rstrip": false,
3312
- "single_word": false,
3313
- "special": false
3314
- },
3315
- "32409": {
3316
- "content": "\\mudominant",
3317
- "lstrip": false,
3318
- "normalized": true,
3319
- "rstrip": false,
3320
- "single_word": false,
3321
- "special": false
3322
- },
3323
- "32410": {
3324
- "content": "\\muexists",
3325
- "lstrip": false,
3326
- "normalized": true,
3327
- "rstrip": false,
3328
- "single_word": false,
3329
- "special": false
3330
- },
3331
- "32411": {
3332
- "content": "\\mufinite",
3333
- "lstrip": false,
3334
- "normalized": true,
3335
- "rstrip": false,
3336
- "single_word": false,
3337
- "special": false
3338
- },
3339
- "32412": {
3340
- "content": "\\multicolumn",
3341
- "lstrip": false,
3342
- "normalized": true,
3343
- "rstrip": false,
3344
- "single_word": false,
3345
- "special": false
3346
- },
3347
- "32413": {
3348
- "content": "\\multimap",
3349
- "lstrip": false,
3350
- "normalized": true,
3351
- "rstrip": false,
3352
- "single_word": false,
3353
- "special": false
3354
- },
3355
- "32414": {
3356
- "content": "\\multirow",
3357
- "lstrip": false,
3358
- "normalized": true,
3359
- "rstrip": false,
3360
- "single_word": false,
3361
- "special": false
3362
- },
3363
- "32415": {
3364
- "content": "\\n",
3365
- "lstrip": false,
3366
- "normalized": true,
3367
- "rstrip": false,
3368
- "single_word": false,
3369
- "special": false
3370
- },
3371
- "32416": {
3372
- "content": "\\nLeftarrow",
3373
- "lstrip": false,
3374
- "normalized": true,
3375
- "rstrip": false,
3376
- "single_word": false,
3377
- "special": false
3378
- },
3379
- "32417": {
3380
- "content": "\\nRightarrow",
3381
- "lstrip": false,
3382
- "normalized": true,
3383
- "rstrip": false,
3384
- "single_word": false,
3385
- "special": false
3386
- },
3387
- "32418": {
3388
- "content": "\\nVdash",
3389
- "lstrip": false,
3390
- "normalized": true,
3391
- "rstrip": false,
3392
- "single_word": false,
3393
- "special": false
3394
- },
3395
- "32419": {
3396
- "content": "\\nabla",
3397
- "lstrip": false,
3398
- "normalized": true,
3399
- "rstrip": false,
3400
- "single_word": false,
3401
- "special": false
3402
- },
3403
- "32420": {
3404
- "content": "\\natural",
3405
- "lstrip": false,
3406
- "normalized": true,
3407
- "rstrip": false,
3408
- "single_word": false,
3409
- "special": false
3410
- },
3411
- "32421": {
3412
- "content": "\\nearrow",
3413
- "lstrip": false,
3414
- "normalized": true,
3415
- "rstrip": false,
3416
- "single_word": false,
3417
- "special": false
3418
- },
3419
- "32422": {
3420
- "content": "\\neg",
3421
- "lstrip": false,
3422
- "normalized": true,
3423
- "rstrip": false,
3424
- "single_word": false,
3425
- "special": false
3426
- },
3427
- "32423": {
3428
- "content": "\\neq",
3429
- "lstrip": false,
3430
- "normalized": true,
3431
- "rstrip": false,
3432
- "single_word": false,
3433
- "special": false
3434
- },
3435
- "32424": {
3436
- "content": "\\neqId",
3437
- "lstrip": false,
3438
- "normalized": true,
3439
- "rstrip": false,
3440
- "single_word": false,
3441
- "special": false
3442
- },
3443
- "32425": {
3444
- "content": "\\neqid",
3445
- "lstrip": false,
3446
- "normalized": true,
3447
- "rstrip": false,
3448
- "single_word": false,
3449
- "special": false
3450
- },
3451
- "32426": {
3452
- "content": "\\nexists",
3453
- "lstrip": false,
3454
- "normalized": true,
3455
- "rstrip": false,
3456
- "single_word": false,
3457
- "special": false
3458
- },
3459
- "32427": {
3460
- "content": "\\ngtr",
3461
- "lstrip": false,
3462
- "normalized": true,
3463
- "rstrip": false,
3464
- "single_word": false,
3465
- "special": false
3466
- },
3467
- "32428": {
3468
- "content": "\\ni",
3469
- "lstrip": false,
3470
- "normalized": true,
3471
- "rstrip": false,
3472
- "single_word": false,
3473
- "special": false
3474
- },
3475
- "32429": {
3476
- "content": "\\nleftarrow",
3477
- "lstrip": false,
3478
- "normalized": true,
3479
- "rstrip": false,
3480
- "single_word": false,
3481
- "special": false
3482
- },
3483
- "32430": {
3484
- "content": "\\nless",
3485
- "lstrip": false,
3486
- "normalized": true,
3487
- "rstrip": false,
3488
- "single_word": false,
3489
- "special": false
3490
- },
3491
- "32431": {
3492
- "content": "\\nmid",
3493
- "lstrip": false,
3494
- "normalized": true,
3495
- "rstrip": false,
3496
- "single_word": false,
3497
- "special": false
3498
- },
3499
- "32432": {
3500
- "content": "\\nmidDisc",
3501
- "lstrip": false,
3502
- "normalized": true,
3503
- "rstrip": false,
3504
- "single_word": false,
3505
- "special": false
3506
- },
3507
- "32433": {
3508
- "content": "\\not",
3509
- "lstrip": false,
3510
- "normalized": true,
3511
- "rstrip": false,
3512
- "single_word": false,
3513
- "special": false
3514
- },
3515
- "32434": {
3516
- "content": "\\notin",
3517
- "lstrip": false,
3518
- "normalized": true,
3519
- "rstrip": false,
3520
- "single_word": false,
3521
- "special": false
3522
- },
3523
- "32435": {
3524
- "content": "\\nprec",
3525
- "lstrip": false,
3526
- "normalized": true,
3527
- "rstrip": false,
3528
- "single_word": false,
3529
- "special": false
3530
- },
3531
- "32436": {
3532
- "content": "\\npreceq",
3533
- "lstrip": false,
3534
- "normalized": true,
3535
- "rstrip": false,
3536
- "single_word": false,
3537
- "special": false
3538
- },
3539
- "32437": {
3540
- "content": "\\nrightarrow",
3541
- "lstrip": false,
3542
- "normalized": true,
3543
- "rstrip": false,
3544
- "single_word": false,
3545
- "special": false
3546
- },
3547
- "32438": {
3548
- "content": "\\nsim",
3549
- "lstrip": false,
3550
- "normalized": true,
3551
- "rstrip": false,
3552
- "single_word": false,
3553
- "special": false
3554
- },
3555
- "32439": {
3556
- "content": "\\nsubseteq",
3557
- "lstrip": false,
3558
- "normalized": true,
3559
- "rstrip": false,
3560
- "single_word": false,
3561
- "special": false
3562
- },
3563
- "32440": {
3564
- "content": "\\nsucc",
3565
- "lstrip": false,
3566
- "normalized": true,
3567
- "rstrip": false,
3568
- "single_word": false,
3569
- "special": false
3570
- },
3571
- "32441": {
3572
- "content": "\\nsucceq",
3573
- "lstrip": false,
3574
- "normalized": true,
3575
- "rstrip": false,
3576
- "single_word": false,
3577
- "special": false
3578
- },
3579
- "32442": {
3580
- "content": "\\nsupseteq",
3581
- "lstrip": false,
3582
- "normalized": true,
3583
- "rstrip": false,
3584
- "single_word": false,
3585
- "special": false
3586
- },
3587
- "32443": {
3588
- "content": "\\nu",
3589
- "lstrip": false,
3590
- "normalized": true,
3591
- "rstrip": false,
3592
- "single_word": false,
3593
- "special": false
3594
- },
3595
- "32444": {
3596
- "content": "\\nvdash",
3597
- "lstrip": false,
3598
- "normalized": true,
3599
- "rstrip": false,
3600
- "single_word": false,
3601
- "special": false
3602
- },
3603
- "32445": {
3604
- "content": "\\nwarrow",
3605
- "lstrip": false,
3606
- "normalized": true,
3607
- "rstrip": false,
3608
- "single_word": false,
3609
- "special": false
3610
- },
3611
- "32446": {
3612
- "content": "\\odot",
3613
- "lstrip": false,
3614
- "normalized": true,
3615
- "rstrip": false,
3616
- "single_word": false,
3617
- "special": false
3618
- },
3619
- "32447": {
3620
- "content": "\\oepratorname",
3621
- "lstrip": false,
3622
- "normalized": true,
3623
- "rstrip": false,
3624
- "single_word": false,
3625
- "special": false
3626
- },
3627
- "32448": {
3628
- "content": "\\oiiint",
3629
- "lstrip": false,
3630
- "normalized": true,
3631
- "rstrip": false,
3632
- "single_word": false,
3633
- "special": false
3634
- },
3635
- "32449": {
3636
- "content": "\\oiint",
3637
- "lstrip": false,
3638
- "normalized": true,
3639
- "rstrip": false,
3640
- "single_word": false,
3641
- "special": false
3642
- },
3643
- "32450": {
3644
- "content": "\\oint",
3645
- "lstrip": false,
3646
- "normalized": true,
3647
- "rstrip": false,
3648
- "single_word": false,
3649
- "special": false
3650
- },
3651
- "32451": {
3652
- "content": "\\omega",
3653
- "lstrip": false,
3654
- "normalized": true,
3655
- "rstrip": false,
3656
- "single_word": false,
3657
- "special": false
3658
- },
3659
- "32452": {
3660
- "content": "\\omegaest",
3661
- "lstrip": false,
3662
- "normalized": true,
3663
- "rstrip": false,
3664
- "single_word": false,
3665
- "special": false
3666
- },
3667
- "32453": {
3668
- "content": "\\ominus",
3669
- "lstrip": false,
3670
- "normalized": true,
3671
- "rstrip": false,
3672
- "single_word": false,
3673
- "special": false
3674
- },
3675
- "32454": {
3676
- "content": "\\operatorname",
3677
- "lstrip": false,
3678
- "normalized": true,
3679
- "rstrip": false,
3680
- "single_word": false,
3681
- "special": false
3682
- },
3683
- "32455": {
3684
- "content": "\\operatornamemap",
3685
- "lstrip": false,
3686
- "normalized": true,
3687
- "rstrip": false,
3688
- "single_word": false,
3689
- "special": false
3690
- },
3691
- "32456": {
3692
- "content": "\\oplus",
3693
- "lstrip": false,
3694
- "normalized": true,
3695
- "rstrip": false,
3696
- "single_word": false,
3697
- "special": false
3698
- },
3699
- "32457": {
3700
- "content": "\\oslash",
3701
- "lstrip": false,
3702
- "normalized": true,
3703
- "rstrip": false,
3704
- "single_word": false,
3705
- "special": false
3706
- },
3707
- "32458": {
3708
- "content": "\\otimes",
3709
- "lstrip": false,
3710
- "normalized": true,
3711
- "rstrip": false,
3712
- "single_word": false,
3713
- "special": false
3714
- },
3715
- "32459": {
3716
- "content": "\\otimese",
3717
- "lstrip": false,
3718
- "normalized": true,
3719
- "rstrip": false,
3720
- "single_word": false,
3721
- "special": false
3722
- },
3723
- "32460": {
3724
- "content": "\\overbrace",
3725
- "lstrip": false,
3726
- "normalized": true,
3727
- "rstrip": false,
3728
- "single_word": false,
3729
- "special": false
3730
- },
3731
- "32461": {
3732
- "content": "\\overleftarrow",
3733
- "lstrip": false,
3734
- "normalized": true,
3735
- "rstrip": false,
3736
- "single_word": false,
3737
- "special": false
3738
- },
3739
- "32462": {
3740
- "content": "\\overleftrightarrow",
3741
- "lstrip": false,
3742
- "normalized": true,
3743
- "rstrip": false,
3744
- "single_word": false,
3745
- "special": false
3746
- },
3747
- "32463": {
3748
- "content": "\\overlin",
3749
- "lstrip": false,
3750
- "normalized": true,
3751
- "rstrip": false,
3752
- "single_word": false,
3753
- "special": false
3754
- },
3755
- "32464": {
3756
- "content": "\\overline",
3757
- "lstrip": false,
3758
- "normalized": true,
3759
- "rstrip": false,
3760
- "single_word": false,
3761
- "special": false
3762
- },
3763
- "32465": {
3764
- "content": "\\overparen",
3765
- "lstrip": false,
3766
- "normalized": true,
3767
- "rstrip": false,
3768
- "single_word": false,
3769
- "special": false
3770
- },
3771
- "32466": {
3772
- "content": "\\overrightarrow",
3773
- "lstrip": false,
3774
- "normalized": true,
3775
- "rstrip": false,
3776
- "single_word": false,
3777
- "special": false
3778
- },
3779
- "32467": {
3780
- "content": "\\p",
3781
- "lstrip": false,
3782
- "normalized": true,
3783
- "rstrip": false,
3784
- "single_word": false,
3785
- "special": false
3786
- },
3787
- "32468": {
3788
- "content": "\\parallel",
3789
- "lstrip": false,
3790
- "normalized": true,
3791
- "rstrip": false,
3792
- "single_word": false,
3793
- "special": false
3794
- },
3795
- "32469": {
3796
- "content": "\\partial",
3797
- "lstrip": false,
3798
- "normalized": true,
3799
- "rstrip": false,
3800
- "single_word": false,
3801
- "special": false
3802
- },
3803
- "32470": {
3804
- "content": "\\partialM",
3805
- "lstrip": false,
3806
- "normalized": true,
3807
- "rstrip": false,
3808
- "single_word": false,
3809
- "special": false
3810
- },
3811
- "32471": {
3812
- "content": "\\partiala",
3813
- "lstrip": false,
3814
- "normalized": true,
3815
- "rstrip": false,
3816
- "single_word": false,
3817
- "special": false
3818
- },
3819
- "32472": {
3820
- "content": "\\partialb",
3821
- "lstrip": false,
3822
- "normalized": true,
3823
- "rstrip": false,
3824
- "single_word": false,
3825
- "special": false
3826
- },
3827
- "32473": {
3828
- "content": "\\perp",
3829
- "lstrip": false,
3830
- "normalized": true,
3831
- "rstrip": false,
3832
- "single_word": false,
3833
- "special": false
3834
- },
3835
- "32474": {
3836
- "content": "\\phi",
3837
- "lstrip": false,
3838
- "normalized": true,
3839
- "rstrip": false,
3840
- "single_word": false,
3841
- "special": false
3842
- },
3843
- "32475": {
3844
- "content": "\\phicommute",
3845
- "lstrip": false,
3846
- "normalized": true,
3847
- "rstrip": false,
3848
- "single_word": false,
3849
- "special": false
3850
- },
3851
- "32476": {
3852
- "content": "\\pi",
3853
- "lstrip": false,
3854
- "normalized": true,
3855
- "rstrip": false,
3856
- "single_word": false,
3857
- "special": false
3858
- },
3859
- "32477": {
3860
- "content": "\\pifinite",
3861
- "lstrip": false,
3862
- "normalized": true,
3863
- "rstrip": false,
3864
- "single_word": false,
3865
- "special": false
3866
- },
3867
- "32478": {
3868
- "content": "\\pitchfork",
3869
- "lstrip": false,
3870
- "normalized": true,
3871
- "rstrip": false,
3872
- "single_word": false,
3873
- "special": false
3874
- },
3875
- "32479": {
3876
- "content": "\\pitwist",
3877
- "lstrip": false,
3878
- "normalized": true,
3879
- "rstrip": false,
3880
- "single_word": false,
3881
- "special": false
3882
- },
3883
- "32480": {
3884
- "content": "\\pm",
3885
- "lstrip": false,
3886
- "normalized": true,
3887
- "rstrip": false,
3888
- "single_word": false,
3889
- "special": false
3890
- },
3891
- "32481": {
3892
- "content": "\\prec",
3893
- "lstrip": false,
3894
- "normalized": true,
3895
- "rstrip": false,
3896
- "single_word": false,
3897
- "special": false
3898
- },
3899
- "32482": {
3900
- "content": "\\preccurlyeq",
3901
- "lstrip": false,
3902
- "normalized": true,
3903
- "rstrip": false,
3904
- "single_word": false,
3905
- "special": false
3906
- },
3907
- "32483": {
3908
- "content": "\\preceq",
3909
- "lstrip": false,
3910
- "normalized": true,
3911
- "rstrip": false,
3912
- "single_word": false,
3913
- "special": false
3914
- },
3915
- "32484": {
3916
- "content": "\\precsim",
3917
- "lstrip": false,
3918
- "normalized": true,
3919
- "rstrip": false,
3920
- "single_word": false,
3921
- "special": false
3922
- },
3923
- "32485": {
3924
- "content": "\\prime",
3925
- "lstrip": false,
3926
- "normalized": true,
3927
- "rstrip": false,
3928
- "single_word": false,
3929
- "special": false
3930
- },
3931
- "32486": {
3932
- "content": "\\prod",
3933
- "lstrip": false,
3934
- "normalized": true,
3935
- "rstrip": false,
3936
- "single_word": false,
3937
- "special": false
3938
- },
3939
- "32487": {
3940
- "content": "\\propto",
3941
- "lstrip": false,
3942
- "normalized": true,
3943
- "rstrip": false,
3944
- "single_word": false,
3945
- "special": false
3946
- },
3947
- "32488": {
3948
- "content": "\\psi",
3949
- "lstrip": false,
3950
- "normalized": true,
3951
- "rstrip": false,
3952
- "single_word": false,
3953
- "special": false
3954
- },
3955
- "32489": {
3956
- "content": "\\psidoes",
3957
- "lstrip": false,
3958
- "normalized": true,
3959
- "rstrip": false,
3960
- "single_word": false,
3961
- "special": false
3962
- },
3963
- "32490": {
3964
- "content": "\\qquad",
3965
- "lstrip": false,
3966
- "normalized": true,
3967
- "rstrip": false,
3968
- "single_word": false,
3969
- "special": false
3970
- },
3971
- "32491": {
3972
- "content": "\\qua",
3973
- "lstrip": false,
3974
- "normalized": true,
3975
- "rstrip": false,
3976
- "single_word": false,
3977
- "special": false
3978
- },
3979
- "32492": {
3980
- "content": "\\quad",
3981
- "lstrip": false,
3982
- "normalized": true,
3983
- "rstrip": false,
3984
- "single_word": false,
3985
- "special": false
3986
- },
3987
- "32493": {
3988
- "content": "\\quada",
3989
- "lstrip": false,
3990
- "normalized": true,
3991
- "rstrip": false,
3992
- "single_word": false,
3993
- "special": false
3994
- },
3995
- "32494": {
3996
- "content": "\\rangle",
3997
- "lstrip": false,
3998
- "normalized": true,
3999
- "rstrip": false,
4000
- "single_word": false,
4001
- "special": false
4002
- },
4003
- "32495": {
4004
- "content": "\\rceil",
4005
- "lstrip": false,
4006
- "normalized": true,
4007
- "rstrip": false,
4008
- "single_word": false,
4009
- "special": false
4010
- },
4011
- "32496": {
4012
- "content": "\\rfloor",
4013
- "lstrip": false,
4014
- "normalized": true,
4015
- "rstrip": false,
4016
- "single_word": false,
4017
- "special": false
4018
- },
4019
- "32497": {
4020
- "content": "\\rho",
4021
- "lstrip": false,
4022
- "normalized": true,
4023
- "rstrip": false,
4024
- "single_word": false,
4025
- "special": false
4026
- },
4027
- "32498": {
4028
- "content": "\\rhofollows",
4029
- "lstrip": false,
4030
- "normalized": true,
4031
- "rstrip": false,
4032
- "single_word": false,
4033
- "special": false
4034
- },
4035
- "32499": {
4036
- "content": "\\rhooperator",
4037
- "lstrip": false,
4038
- "normalized": true,
4039
- "rstrip": false,
4040
- "single_word": false,
4041
- "special": false
4042
- },
4043
- "32500": {
4044
- "content": "\\right",
4045
- "lstrip": false,
4046
- "normalized": true,
4047
- "rstrip": false,
4048
- "single_word": false,
4049
- "special": false
4050
- },
4051
- "32501": {
4052
- "content": "\\rightarrowA",
4053
- "lstrip": false,
4054
- "normalized": true,
4055
- "rstrip": false,
4056
- "single_word": false,
4057
- "special": false
4058
- },
4059
- "32502": {
4060
- "content": "\\rightarrowC",
4061
- "lstrip": false,
4062
- "normalized": true,
4063
- "rstrip": false,
4064
- "single_word": false,
4065
- "special": false
4066
- },
4067
- "32503": {
4068
- "content": "\\rightarrowFinord",
4069
- "lstrip": false,
4070
- "normalized": true,
4071
- "rstrip": false,
4072
- "single_word": false,
4073
- "special": false
4074
- },
4075
- "32504": {
4076
- "content": "\\rightarrowSet",
4077
- "lstrip": false,
4078
- "normalized": true,
4079
- "rstrip": false,
4080
- "single_word": false,
4081
- "special": false
4082
- },
4083
- "32505": {
4084
- "content": "\\rightarrowSets",
4085
- "lstrip": false,
4086
- "normalized": true,
4087
- "rstrip": false,
4088
- "single_word": false,
4089
- "special": false
4090
- },
4091
- "32506": {
4092
- "content": "\\rightarrowf",
4093
- "lstrip": false,
4094
- "normalized": true,
4095
- "rstrip": false,
4096
- "single_word": false,
4097
- "special": false
4098
- },
4099
- "32507": {
4100
- "content": "\\rightharpoonup",
4101
- "lstrip": false,
4102
- "normalized": true,
4103
- "rstrip": false,
4104
- "single_word": false,
4105
- "special": false
4106
- },
4107
- "32508": {
4108
- "content": "\\rightleftarrows",
4109
- "lstrip": false,
4110
- "normalized": true,
4111
- "rstrip": false,
4112
- "single_word": false,
4113
- "special": false
4114
- },
4115
- "32509": {
4116
- "content": "\\rightleftharpoons",
4117
- "lstrip": false,
4118
- "normalized": true,
4119
- "rstrip": false,
4120
- "single_word": false,
4121
- "special": false
4122
- },
4123
- "32510": {
4124
- "content": "\\rightrightarrows",
4125
- "lstrip": false,
4126
- "normalized": true,
4127
- "rstrip": false,
4128
- "single_word": false,
4129
- "special": false
4130
- },
4131
- "32511": {
4132
- "content": "\\rightsquigarrow",
4133
- "lstrip": false,
4134
- "normalized": true,
4135
- "rstrip": false,
4136
- "single_word": false,
4137
- "special": false
4138
- },
4139
- "32512": {
4140
- "content": "\\risingdotseq",
4141
- "lstrip": false,
4142
- "normalized": true,
4143
- "rstrip": false,
4144
- "single_word": false,
4145
- "special": false
4146
- },
4147
- "32513": {
4148
- "content": "\\rrbracket",
4149
- "lstrip": false,
4150
- "normalized": true,
4151
- "rstrip": false,
4152
- "single_word": false,
4153
- "special": false
4154
- },
4155
- "32514": {
4156
- "content": "\\rtimes",
4157
- "lstrip": false,
4158
- "normalized": true,
4159
- "rstrip": false,
4160
- "single_word": false,
4161
- "special": false
4162
- },
4163
- "32515": {
4164
- "content": "\\rvert",
4165
- "lstrip": false,
4166
- "normalized": true,
4167
- "rstrip": false,
4168
- "single_word": false,
4169
- "special": false
4170
- },
4171
- "32516": {
4172
- "content": "\\searrow",
4173
- "lstrip": false,
4174
- "normalized": true,
4175
- "rstrip": false,
4176
- "single_word": false,
4177
- "special": false
4178
- },
4179
- "32517": {
4180
- "content": "\\sec",
4181
- "lstrip": false,
4182
- "normalized": true,
4183
- "rstrip": false,
4184
- "single_word": false,
4185
- "special": false
4186
- },
4187
- "32518": {
4188
- "content": "\\section",
4189
- "lstrip": false,
4190
- "normalized": true,
4191
- "rstrip": false,
4192
- "single_word": false,
4193
- "special": false
4194
- },
4195
- "32519": {
4196
- "content": "\\setminus",
4197
- "lstrip": false,
4198
- "normalized": true,
4199
- "rstrip": false,
4200
- "single_word": false,
4201
- "special": false
4202
- },
4203
- "32520": {
4204
- "content": "\\sharp",
4205
- "lstrip": false,
4206
- "normalized": true,
4207
- "rstrip": false,
4208
- "single_word": false,
4209
- "special": false
4210
- },
4211
- "32521": {
4212
- "content": "\\sigma",
4213
- "lstrip": false,
4214
- "normalized": true,
4215
- "rstrip": false,
4216
- "single_word": false,
4217
- "special": false
4218
- },
4219
- "32522": {
4220
- "content": "\\sim",
4221
- "lstrip": false,
4222
- "normalized": true,
4223
- "rstrip": false,
4224
- "single_word": false,
4225
- "special": false
4226
- },
4227
- "32523": {
4228
- "content": "\\simeq",
4229
- "lstrip": false,
4230
- "normalized": true,
4231
- "rstrip": false,
4232
- "single_word": false,
4233
- "special": false
4234
- },
4235
- "32524": {
4236
- "content": "\\simeqid",
4237
- "lstrip": false,
4238
- "normalized": true,
4239
- "rstrip": false,
4240
- "single_word": false,
4241
- "special": false
4242
- },
4243
- "32525": {
4244
- "content": "\\simr",
4245
- "lstrip": false,
4246
- "normalized": true,
4247
- "rstrip": false,
4248
- "single_word": false,
4249
- "special": false
4250
- },
4251
- "32526": {
4252
- "content": "\\sin",
4253
- "lstrip": false,
4254
- "normalized": true,
4255
- "rstrip": false,
4256
- "single_word": false,
4257
- "special": false
4258
- },
4259
- "32527": {
4260
- "content": "\\sinh",
4261
- "lstrip": false,
4262
- "normalized": true,
4263
- "rstrip": false,
4264
- "single_word": false,
4265
- "special": false
4266
- },
4267
- "32528": {
4268
- "content": "\\smile",
4269
- "lstrip": false,
4270
- "normalized": true,
4271
- "rstrip": false,
4272
- "single_word": false,
4273
- "special": false
4274
- },
4275
- "32529": {
4276
- "content": "\\sqcap",
4277
- "lstrip": false,
4278
- "normalized": true,
4279
- "rstrip": false,
4280
- "single_word": false,
4281
- "special": false
4282
- },
4283
- "32530": {
4284
- "content": "\\sqcup",
4285
- "lstrip": false,
4286
- "normalized": true,
4287
- "rstrip": false,
4288
- "single_word": false,
4289
- "special": false
4290
- },
4291
- "32531": {
4292
- "content": "\\sqrt",
4293
- "lstrip": false,
4294
- "normalized": true,
4295
- "rstrip": false,
4296
- "single_word": false,
4297
- "special": false
4298
- },
4299
- "32532": {
4300
- "content": "\\sqsubset",
4301
- "lstrip": false,
4302
- "normalized": true,
4303
- "rstrip": false,
4304
- "single_word": false,
4305
- "special": false
4306
- },
4307
- "32533": {
4308
- "content": "\\sqsubseteq",
4309
- "lstrip": false,
4310
- "normalized": true,
4311
- "rstrip": false,
4312
- "single_word": false,
4313
- "special": false
4314
- },
4315
- "32534": {
4316
- "content": "\\sqsupset",
4317
- "lstrip": false,
4318
- "normalized": true,
4319
- "rstrip": false,
4320
- "single_word": false,
4321
- "special": false
4322
- },
4323
- "32535": {
4324
- "content": "\\sqsupseteq",
4325
- "lstrip": false,
4326
- "normalized": true,
4327
- "rstrip": false,
4328
- "single_word": false,
4329
- "special": false
4330
- },
4331
- "32536": {
4332
- "content": "\\square",
4333
- "lstrip": false,
4334
- "normalized": true,
4335
- "rstrip": false,
4336
- "single_word": false,
4337
- "special": false
4338
- },
4339
- "32537": {
4340
- "content": "\\stackrel",
4341
- "lstrip": false,
4342
- "normalized": true,
4343
- "rstrip": false,
4344
- "single_word": false,
4345
- "special": false
4346
- },
4347
- "32538": {
4348
- "content": "\\star",
4349
- "lstrip": false,
4350
- "normalized": true,
4351
- "rstrip": false,
4352
- "single_word": false,
4353
- "special": false
4354
- },
4355
- "32539": {
4356
- "content": "\\starEXERCISE",
4357
- "lstrip": false,
4358
- "normalized": true,
4359
- "rstrip": false,
4360
- "single_word": false,
4361
- "special": false
4362
- },
4363
- "32540": {
4364
- "content": "\\subsection",
4365
- "lstrip": false,
4366
- "normalized": true,
4367
- "rstrip": false,
4368
- "single_word": false,
4369
- "special": false
4370
- },
4371
- "32541": {
4372
- "content": "\\subset",
4373
- "lstrip": false,
4374
- "normalized": true,
4375
- "rstrip": false,
4376
- "single_word": false,
4377
- "special": false
4378
- },
4379
- "32542": {
4380
- "content": "\\subsetA",
4381
- "lstrip": false,
4382
- "normalized": true,
4383
- "rstrip": false,
4384
- "single_word": false,
4385
- "special": false
4386
- },
4387
- "32543": {
4388
- "content": "\\subsetM",
4389
- "lstrip": false,
4390
- "normalized": true,
4391
- "rstrip": false,
4392
- "single_word": false,
4393
- "special": false
4394
- },
4395
- "32544": {
4396
- "content": "\\subseteq",
4397
- "lstrip": false,
4398
- "normalized": true,
4399
- "rstrip": false,
4400
- "single_word": false,
4401
- "special": false
4402
- },
4403
- "32545": {
4404
- "content": "\\subseteqW",
4405
- "lstrip": false,
4406
- "normalized": true,
4407
- "rstrip": false,
4408
- "single_word": false,
4409
- "special": false
4410
- },
4411
- "32546": {
4412
- "content": "\\subsetneq",
4413
- "lstrip": false,
4414
- "normalized": true,
4415
- "rstrip": false,
4416
- "single_word": false,
4417
- "special": false
4418
- },
4419
- "32547": {
4420
- "content": "\\substack",
4421
- "lstrip": false,
4422
- "normalized": true,
4423
- "rstrip": false,
4424
- "single_word": false,
4425
- "special": false
4426
- },
4427
- "32548": {
4428
- "content": "\\subsubsection",
4429
- "lstrip": false,
4430
- "normalized": true,
4431
- "rstrip": false,
4432
- "single_word": false,
4433
- "special": false
4434
- },
4435
- "32549": {
4436
- "content": "\\succ",
4437
- "lstrip": false,
4438
- "normalized": true,
4439
- "rstrip": false,
4440
- "single_word": false,
4441
- "special": false
4442
- },
4443
- "32550": {
4444
- "content": "\\succcurlyeq",
4445
- "lstrip": false,
4446
- "normalized": true,
4447
- "rstrip": false,
4448
- "single_word": false,
4449
- "special": false
4450
- },
4451
- "32551": {
4452
- "content": "\\succeq",
4453
- "lstrip": false,
4454
- "normalized": true,
4455
- "rstrip": false,
4456
- "single_word": false,
4457
- "special": false
4458
- },
4459
- "32552": {
4460
- "content": "\\succsim",
4461
- "lstrip": false,
4462
- "normalized": true,
4463
- "rstrip": false,
4464
- "single_word": false,
4465
- "special": false
4466
- },
4467
- "32553": {
4468
- "content": "\\sum",
4469
- "lstrip": false,
4470
- "normalized": true,
4471
- "rstrip": false,
4472
- "single_word": false,
4473
- "special": false
4474
- },
4475
- "32554": {
4476
- "content": "\\sup",
4477
- "lstrip": false,
4478
- "normalized": true,
4479
- "rstrip": false,
4480
- "single_word": false,
4481
- "special": false
4482
- },
4483
- "32555": {
4484
- "content": "\\supset",
4485
- "lstrip": false,
4486
- "normalized": true,
4487
- "rstrip": false,
4488
- "single_word": false,
4489
- "special": false
4490
- },
4491
- "32556": {
4492
- "content": "\\supseteq",
4493
- "lstrip": false,
4494
- "normalized": true,
4495
- "rstrip": false,
4496
- "single_word": false,
4497
- "special": false
4498
- },
4499
- "32557": {
4500
- "content": "\\supseteqq",
4501
- "lstrip": false,
4502
- "normalized": true,
4503
- "rstrip": false,
4504
- "single_word": false,
4505
- "special": false
4506
- },
4507
- "32558": {
4508
- "content": "\\supsetneq",
4509
- "lstrip": false,
4510
- "normalized": true,
4511
- "rstrip": false,
4512
- "single_word": false,
4513
- "special": false
4514
- },
4515
- "32559": {
4516
- "content": "\\supsetneqq",
4517
- "lstrip": false,
4518
- "normalized": true,
4519
- "rstrip": false,
4520
- "single_word": false,
4521
- "special": false
4522
- },
4523
- "32560": {
4524
- "content": "\\swarrow",
4525
- "lstrip": false,
4526
- "normalized": true,
4527
- "rstrip": false,
4528
- "single_word": false,
4529
- "special": false
4530
- },
4531
- "32561": {
4532
- "content": "\\tag",
4533
- "lstrip": false,
4534
- "normalized": true,
4535
- "rstrip": false,
4536
- "single_word": false,
4537
- "special": false
4538
- },
4539
- "32562": {
4540
- "content": "\\tan",
4541
- "lstrip": false,
4542
- "normalized": true,
4543
- "rstrip": false,
4544
- "single_word": false,
4545
- "special": false
4546
- },
4547
- "32563": {
4548
- "content": "\\tanh",
4549
- "lstrip": false,
4550
- "normalized": true,
4551
- "rstrip": false,
4552
- "single_word": false,
4553
- "special": false
4554
- },
4555
- "32564": {
4556
- "content": "\\tau",
4557
- "lstrip": false,
4558
- "normalized": true,
4559
- "rstrip": false,
4560
- "single_word": false,
4561
- "special": false
4562
- },
4563
- "32565": {
4564
- "content": "\\taualent",
4565
- "lstrip": false,
4566
- "normalized": true,
4567
- "rstrip": false,
4568
- "single_word": false,
4569
- "special": false
4570
- },
4571
- "32566": {
4572
- "content": "\\tauariety",
4573
- "lstrip": false,
4574
- "normalized": true,
4575
- "rstrip": false,
4576
- "single_word": false,
4577
- "special": false
4578
- },
4579
- "32567": {
4580
- "content": "\\tauphism",
4581
- "lstrip": false,
4582
- "normalized": true,
4583
- "rstrip": false,
4584
- "single_word": false,
4585
- "special": false
4586
- },
4587
- "32568": {
4588
- "content": "\\tauphistn",
4589
- "lstrip": false,
4590
- "normalized": true,
4591
- "rstrip": false,
4592
- "single_word": false,
4593
- "special": false
4594
- },
4595
- "32569": {
4596
- "content": "\\taupure",
4597
- "lstrip": false,
4598
- "normalized": true,
4599
- "rstrip": false,
4600
- "single_word": false,
4601
- "special": false
4602
- },
4603
- "32570": {
4604
- "content": "\\text",
4605
- "lstrip": false,
4606
- "normalized": true,
4607
- "rstrip": false,
4608
- "single_word": false,
4609
- "special": false
4610
- },
4611
- "32571": {
4612
- "content": "\\textbf",
4613
- "lstrip": false,
4614
- "normalized": true,
4615
- "rstrip": false,
4616
- "single_word": false,
4617
- "special": false
4618
- },
4619
- "32572": {
4620
- "content": "\\textrm",
4621
- "lstrip": false,
4622
- "normalized": true,
4623
- "rstrip": false,
4624
- "single_word": false,
4625
- "special": false
4626
- },
4627
- "32573": {
4628
- "content": "\\textrmK",
4629
- "lstrip": false,
4630
- "normalized": true,
4631
- "rstrip": false,
4632
- "single_word": false,
4633
- "special": false
4634
- },
4635
- "32574": {
4636
- "content": "\\therefore",
4637
- "lstrip": false,
4638
- "normalized": true,
4639
- "rstrip": false,
4640
- "single_word": false,
4641
- "special": false
4642
- },
4643
- "32575": {
4644
- "content": "\\theta",
4645
- "lstrip": false,
4646
- "normalized": true,
4647
- "rstrip": false,
4648
- "single_word": false,
4649
- "special": false
4650
- },
4651
- "32576": {
4652
- "content": "\\thetaalone",
4653
- "lstrip": false,
4654
- "normalized": true,
4655
- "rstrip": false,
4656
- "single_word": false,
4657
- "special": false
4658
- },
4659
- "32577": {
4660
- "content": "\\thetaexplicit",
4661
- "lstrip": false,
4662
- "normalized": true,
4663
- "rstrip": false,
4664
- "single_word": false,
4665
- "special": false
4666
- },
4667
- "32578": {
4668
- "content": "\\thetaworks",
4669
- "lstrip": false,
4670
- "normalized": true,
4671
- "rstrip": false,
4672
- "single_word": false,
4673
- "special": false
4674
- },
4675
- "32579": {
4676
- "content": "\\tilde",
4677
- "lstrip": false,
4678
- "normalized": true,
4679
- "rstrip": false,
4680
- "single_word": false,
4681
- "special": false
4682
- },
4683
- "32580": {
4684
- "content": "\\times",
4685
- "lstrip": false,
4686
- "normalized": true,
4687
- "rstrip": false,
4688
- "single_word": false,
4689
- "special": false
4690
- },
4691
- "32581": {
4692
- "content": "\\timesm",
4693
- "lstrip": false,
4694
- "normalized": true,
4695
- "rstrip": false,
4696
- "single_word": false,
4697
- "special": false
4698
- },
4699
- "32582": {
4700
- "content": "\\top",
4701
- "lstrip": false,
4702
- "normalized": true,
4703
- "rstrip": false,
4704
- "single_word": false,
4705
- "special": false
4706
- },
4707
- "32583": {
4708
- "content": "\\triangle",
4709
- "lstrip": false,
4710
- "normalized": true,
4711
- "rstrip": false,
4712
- "single_word": false,
4713
- "special": false
4714
- },
4715
- "32584": {
4716
- "content": "\\triangleleft",
4717
- "lstrip": false,
4718
- "normalized": true,
4719
- "rstrip": false,
4720
- "single_word": false,
4721
- "special": false
4722
- },
4723
- "32585": {
4724
- "content": "\\triangleq",
4725
- "lstrip": false,
4726
- "normalized": true,
4727
- "rstrip": false,
4728
- "single_word": false,
4729
- "special": false
4730
- },
4731
- "32586": {
4732
- "content": "\\triangleright",
4733
- "lstrip": false,
4734
- "normalized": true,
4735
- "rstrip": false,
4736
- "single_word": false,
4737
- "special": false
4738
- },
4739
- "32587": {
4740
- "content": "\\ulcorner",
4741
- "lstrip": false,
4742
- "normalized": true,
4743
- "rstrip": false,
4744
- "single_word": false,
4745
- "special": false
4746
- },
4747
- "32588": {
4748
- "content": "\\underbrace",
4749
- "lstrip": false,
4750
- "normalized": true,
4751
- "rstrip": false,
4752
- "single_word": false,
4753
- "special": false
4754
- },
4755
- "32589": {
4756
- "content": "\\underline",
4757
- "lstrip": false,
4758
- "normalized": true,
4759
- "rstrip": false,
4760
- "single_word": false,
4761
- "special": false
4762
- },
4763
- "32590": {
4764
- "content": "\\underset",
4765
- "lstrip": false,
4766
- "normalized": true,
4767
- "rstrip": false,
4768
- "single_word": false,
4769
- "special": false
4770
- },
4771
- "32591": {
4772
- "content": "\\unlhd",
4773
- "lstrip": false,
4774
- "normalized": true,
4775
- "rstrip": false,
4776
- "single_word": false,
4777
- "special": false
4778
- },
4779
- "32592": {
4780
- "content": "\\unrhd",
4781
- "lstrip": false,
4782
- "normalized": true,
4783
- "rstrip": false,
4784
- "single_word": false,
4785
- "special": false
4786
- },
4787
- "32593": {
4788
- "content": "\\uparrow",
4789
- "lstrip": false,
4790
- "normalized": true,
4791
- "rstrip": false,
4792
- "single_word": false,
4793
- "special": false
4794
- },
4795
- "32594": {
4796
- "content": "\\upharpoonleft",
4797
- "lstrip": false,
4798
- "normalized": true,
4799
- "rstrip": false,
4800
- "single_word": false,
4801
- "special": false
4802
- },
4803
- "32595": {
4804
- "content": "\\upharpoonright",
4805
- "lstrip": false,
4806
- "normalized": true,
4807
- "rstrip": false,
4808
- "single_word": false,
4809
- "special": false
4810
- },
4811
- "32596": {
4812
- "content": "\\uplus",
4813
- "lstrip": false,
4814
- "normalized": true,
4815
- "rstrip": false,
4816
- "single_word": false,
4817
- "special": false
4818
- },
4819
- "32597": {
4820
- "content": "\\urcorner",
4821
- "lstrip": false,
4822
- "normalized": true,
4823
- "rstrip": false,
4824
- "single_word": false,
4825
- "special": false
4826
- },
4827
- "32598": {
4828
- "content": "\\vDash",
4829
- "lstrip": false,
4830
- "normalized": true,
4831
- "rstrip": false,
4832
- "single_word": false,
4833
- "special": false
4834
- },
4835
- "32599": {
4836
- "content": "\\varangle",
4837
- "lstrip": false,
4838
- "normalized": true,
4839
- "rstrip": false,
4840
- "single_word": false,
4841
- "special": false
4842
- },
4843
- "32600": {
4844
- "content": "\\varepsilon",
4845
- "lstrip": false,
4846
- "normalized": true,
4847
- "rstrip": false,
4848
- "single_word": false,
4849
- "special": false
4850
- },
4851
- "32601": {
4852
- "content": "\\varepsilona",
4853
- "lstrip": false,
4854
- "normalized": true,
4855
- "rstrip": false,
4856
- "single_word": false,
4857
- "special": false
4858
- },
4859
- "32602": {
4860
- "content": "\\varepsilonarrow",
4861
- "lstrip": false,
4862
- "normalized": true,
4863
- "rstrip": false,
4864
- "single_word": false,
4865
- "special": false
4866
- },
4867
- "32603": {
4868
- "content": "\\varepsilonarrows",
4869
- "lstrip": false,
4870
- "normalized": true,
4871
- "rstrip": false,
4872
- "single_word": false,
4873
- "special": false
4874
- },
4875
- "32604": {
4876
- "content": "\\varinjlim",
4877
- "lstrip": false,
4878
- "normalized": true,
4879
- "rstrip": false,
4880
- "single_word": false,
4881
- "special": false
4882
- },
4883
- "32605": {
4884
- "content": "\\varkappa",
4885
- "lstrip": false,
4886
- "normalized": true,
4887
- "rstrip": false,
4888
- "single_word": false,
4889
- "special": false
4890
- },
4891
- "32606": {
4892
- "content": "\\varliminf",
4893
- "lstrip": false,
4894
- "normalized": true,
4895
- "rstrip": false,
4896
- "single_word": false,
4897
- "special": false
4898
- },
4899
- "32607": {
4900
- "content": "\\varlimsup",
4901
- "lstrip": false,
4902
- "normalized": true,
4903
- "rstrip": false,
4904
- "single_word": false,
4905
- "special": false
4906
- },
4907
- "32608": {
4908
- "content": "\\varnothing",
4909
- "lstrip": false,
4910
- "normalized": true,
4911
- "rstrip": false,
4912
- "single_word": false,
4913
- "special": false
4914
- },
4915
- "32609": {
4916
- "content": "\\varphi",
4917
- "lstrip": false,
4918
- "normalized": true,
4919
- "rstrip": false,
4920
- "single_word": false,
4921
- "special": false
4922
- },
4923
- "32610": {
4924
- "content": "\\varphiare",
4925
- "lstrip": false,
4926
- "normalized": true,
4927
- "rstrip": false,
4928
- "single_word": false,
4929
- "special": false
4930
- },
4931
- "32611": {
4932
- "content": "\\varphiitself",
4933
- "lstrip": false,
4934
- "normalized": true,
4935
- "rstrip": false,
4936
- "single_word": false,
4937
- "special": false
4938
- },
4939
- "32612": {
4940
- "content": "\\varphiw",
4941
- "lstrip": false,
4942
- "normalized": true,
4943
- "rstrip": false,
4944
- "single_word": false,
4945
- "special": false
4946
- },
4947
- "32613": {
4948
- "content": "\\varpi",
4949
- "lstrip": false,
4950
- "normalized": true,
4951
- "rstrip": false,
4952
- "single_word": false,
4953
- "special": false
4954
- },
4955
- "32614": {
4956
- "content": "\\varprojlim",
4957
- "lstrip": false,
4958
- "normalized": true,
4959
- "rstrip": false,
4960
- "single_word": false,
4961
- "special": false
4962
- },
4963
- "32615": {
4964
- "content": "\\varrho",
4965
- "lstrip": false,
4966
- "normalized": true,
4967
- "rstrip": false,
4968
- "single_word": false,
4969
- "special": false
4970
- },
4971
- "32616": {
4972
- "content": "\\varsigma",
4973
- "lstrip": false,
4974
- "normalized": true,
4975
- "rstrip": false,
4976
- "single_word": false,
4977
- "special": false
4978
- },
4979
- "32617": {
4980
- "content": "\\varsubsetneqq",
4981
- "lstrip": false,
4982
- "normalized": true,
4983
- "rstrip": false,
4984
- "single_word": false,
4985
- "special": false
4986
- },
4987
- "32618": {
4988
- "content": "\\vartheta",
4989
- "lstrip": false,
4990
- "normalized": true,
4991
- "rstrip": false,
4992
- "single_word": false,
4993
- "special": false
4994
- },
4995
- "32619": {
4996
- "content": "\\varthetaa",
4997
- "lstrip": false,
4998
- "normalized": true,
4999
- "rstrip": false,
5000
- "single_word": false,
5001
- "special": false
5002
- },
5003
- "32620": {
5004
- "content": "\\vdash",
5005
- "lstrip": false,
5006
- "normalized": true,
5007
- "rstrip": false,
5008
- "single_word": false,
5009
- "special": false
5010
- },
5011
- "32621": {
5012
- "content": "\\vdots",
5013
- "lstrip": false,
5014
- "normalized": true,
5015
- "rstrip": false,
5016
- "single_word": false,
5017
- "special": false
5018
- },
5019
- "32622": {
5020
- "content": "\\vec",
5021
- "lstrip": false,
5022
- "normalized": true,
5023
- "rstrip": false,
5024
- "single_word": false,
5025
- "special": false
5026
- },
5027
- "32623": {
5028
- "content": "\\vecara",
5029
- "lstrip": false,
5030
- "normalized": true,
5031
- "rstrip": false,
5032
- "single_word": false,
5033
- "special": false
5034
- },
5035
- "32624": {
5036
- "content": "\\vee",
5037
- "lstrip": false,
5038
- "normalized": true,
5039
- "rstrip": false,
5040
- "single_word": false,
5041
- "special": false
5042
- },
5043
- "32625": {
5044
- "content": "\\vigvec",
5045
- "lstrip": false,
5046
- "normalized": true,
5047
- "rstrip": false,
5048
- "single_word": false,
5049
- "special": false
5050
- },
5051
- "32626": {
5052
- "content": "\\wedge",
5053
- "lstrip": false,
5054
- "normalized": true,
5055
- "rstrip": false,
5056
- "single_word": false,
5057
- "special": false
5058
- },
5059
- "32627": {
5060
- "content": "\\wedgeT",
5061
- "lstrip": false,
5062
- "normalized": true,
5063
- "rstrip": false,
5064
- "single_word": false,
5065
- "special": false
5066
- },
5067
- "32628": {
5068
- "content": "\\wedgeid",
5069
- "lstrip": false,
5070
- "normalized": true,
5071
- "rstrip": false,
5072
- "single_word": false,
5073
- "special": false
5074
- },
5075
- "32629": {
5076
- "content": "\\widehat",
5077
- "lstrip": false,
5078
- "normalized": true,
5079
- "rstrip": false,
5080
- "single_word": false,
5081
- "special": false
5082
- },
5083
- "32630": {
5084
- "content": "\\widehatat",
5085
- "lstrip": false,
5086
- "normalized": true,
5087
- "rstrip": false,
5088
- "single_word": false,
5089
- "special": false
5090
- },
5091
- "32631": {
5092
- "content": "\\widetilde",
5093
- "lstrip": false,
5094
- "normalized": true,
5095
- "rstrip": false,
5096
- "single_word": false,
5097
- "special": false
5098
- },
5099
- "32632": {
5100
- "content": "\\wp",
5101
- "lstrip": false,
5102
- "normalized": true,
5103
- "rstrip": false,
5104
- "single_word": false,
5105
- "special": false
5106
- },
5107
- "32633": {
5108
- "content": "\\xi",
5109
- "lstrip": false,
5110
- "normalized": true,
5111
- "rstrip": false,
5112
- "single_word": false,
5113
- "special": false
5114
- },
5115
- "32634": {
5116
- "content": "\\xlongequal",
5117
- "lstrip": false,
5118
- "normalized": true,
5119
- "rstrip": false,
5120
- "single_word": false,
5121
- "special": false
5122
- },
5123
- "32635": {
5124
- "content": "\\xrightarrow",
5125
- "lstrip": false,
5126
- "normalized": true,
5127
- "rstrip": false,
5128
- "single_word": false,
5129
- "special": false
5130
- },
5131
- "32636": {
5132
- "content": "\\your",
5133
- "lstrip": false,
5134
- "normalized": true,
5135
- "rstrip": false,
5136
- "single_word": false,
5137
- "special": false
5138
- },
5139
- "32637": {
5140
- "content": "\\zeta",
5141
- "lstrip": false,
5142
- "normalized": true,
5143
- "rstrip": false,
5144
- "single_word": false,
5145
- "special": false
5146
- },
5147
- "32638": {
5148
- "content": "\\",
5149
- "lstrip": false,
5150
- "normalized": true,
5151
- "rstrip": false,
5152
- "single_word": false,
5153
- "special": false
5154
- },
5155
- "32639": {
5156
- "content": "^",
5157
- "lstrip": false,
5158
- "normalized": true,
5159
- "rstrip": false,
5160
- "single_word": false,
5161
- "special": false
5162
- },
5163
- "32640": {
5164
- "content": "{",
5165
- "lstrip": false,
5166
- "normalized": true,
5167
- "rstrip": false,
5168
- "single_word": false,
5169
- "special": false
5170
- },
5171
- "32641": {
5172
- "content": "}",
5173
  "lstrip": false,
5174
  "normalized": true,
5175
  "rstrip": false,
@@ -5282,6 +987,7 @@
5282
  "clean_up_tokenization_spaces": true,
5283
  "eos_token": "</s>",
5284
  "extra_ids": 100,
 
5285
  "max_length": 256,
5286
  "model_max_length": 512,
5287
  "pad_token": "<pad>",
 
1
  {
2
+ "add_prefix_space": null,
3
  "added_tokens_decoder": {
4
  "0": {
5
  "content": "<pad>",
 
842
  "special": true
843
  },
844
  "32100": {
845
+ "content": "\\",
846
  "lstrip": false,
847
  "normalized": true,
848
  "rstrip": false,
 
850
  "special": false
851
  },
852
  "32101": {
853
+ "content": "^",
854
  "lstrip": false,
855
  "normalized": true,
856
  "rstrip": false,
 
858
  "special": false
859
  },
860
  "32102": {
861
+ "content": "{",
862
  "lstrip": false,
863
  "normalized": true,
864
  "rstrip": false,
 
866
  "special": false
867
  },
868
  "32103": {
869
+ "content": "}",
870
  "lstrip": false,
871
  "normalized": true,
872
  "rstrip": false,
 
874
  "special": false
875
  },
876
  "32104": {
877
+ "content": "$$",
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
878
  "lstrip": false,
879
  "normalized": true,
880
  "rstrip": false,
 
987
  "clean_up_tokenization_spaces": true,
988
  "eos_token": "</s>",
989
  "extra_ids": 100,
990
+ "extra_special_tokens": {},
991
  "max_length": 256,
992
  "model_max_length": 512,
993
  "pad_token": "<pad>",