Hugging Face's logo

hyunjongkimmath
/
def_and_notat_token_classification_model

Token Classification
Transformers
PyTorch
Safetensors
distilbert
Model card Files
xet
 Community
hyunjongkimmath commited on
Commit
6736fc3
·
verified ·
1 Parent(s): d7930da

Upload tokenizer

Browse files
Files changed (2) hide show
  1. tokenizer.json +0 -0
  2. tokenizer_config.json +1 -4304
tokenizer.json CHANGED
The diff for this file is too large to render. See raw diff
 
tokenizer_config.json CHANGED
@@ -39,4315 +39,12 @@
39
  "rstrip": false,
40
  "single_word": false,
41
  "special": true
42
- },
43
- "30522": {
44
- "content": "$$",
45
- "lstrip": false,
46
- "normalized": true,
47
- "rstrip": false,
48
- "single_word": false,
49
- "special": false
50
- },
51
- "30523": {
52
- "content": "\\AA",
53
- "lstrip": false,
54
- "normalized": true,
55
- "rstrip": false,
56
- "single_word": false,
57
- "special": false
58
- },
59
- "30524": {
60
- "content": "\\C",
61
- "lstrip": false,
62
- "normalized": true,
63
- "rstrip": false,
64
- "single_word": false,
65
- "special": false
66
- },
67
- "30525": {
68
- "content": "\\Delta",
69
- "lstrip": false,
70
- "normalized": true,
71
- "rstrip": false,
72
- "single_word": false,
73
- "special": false
74
- },
75
- "30526": {
76
- "content": "\\Deltatoo",
77
- "lstrip": false,
78
- "normalized": true,
79
- "rstrip": false,
80
- "single_word": false,
81
- "special": false
82
- },
83
- "30527": {
84
- "content": "\\Documents",
85
- "lstrip": false,
86
- "normalized": true,
87
- "rstrip": false,
88
- "single_word": false,
89
- "special": false
90
- },
91
- "30528": {
92
- "content": "\\Downarrow",
93
- "lstrip": false,
94
- "normalized": true,
95
- "rstrip": false,
96
- "single_word": false,
97
- "special": false
98
- },
99
- "30529": {
100
- "content": "\\Gamma",
101
- "lstrip": false,
102
- "normalized": true,
103
- "rstrip": false,
104
- "single_word": false,
105
- "special": false
106
- },
107
- "30530": {
108
- "content": "\\GammaRACT",
109
- "lstrip": false,
110
- "normalized": true,
111
- "rstrip": false,
112
- "single_word": false,
113
- "special": false
114
- },
115
- "30531": {
116
- "content": "\\Gammaacts",
117
- "lstrip": false,
118
- "normalized": true,
119
- "rstrip": false,
120
- "single_word": false,
121
- "special": false
122
- },
123
- "30532": {
124
- "content": "\\Gammadoes",
125
- "lstrip": false,
126
- "normalized": true,
127
- "rstrip": false,
128
- "single_word": false,
129
- "special": false
130
- },
131
- "30533": {
132
- "content": "\\Im",
133
- "lstrip": false,
134
- "normalized": true,
135
- "rstrip": false,
136
- "single_word": false,
137
- "special": false
138
- },
139
- "30534": {
140
- "content": "\\Lambda",
141
- "lstrip": false,
142
- "normalized": true,
143
- "rstrip": false,
144
- "single_word": false,
145
- "special": false
146
- },
147
- "30535": {
148
- "content": "\\LambdaMPLE",
149
- "lstrip": false,
150
- "normalized": true,
151
- "rstrip": false,
152
- "single_word": false,
153
- "special": false
154
- },
155
- "30536": {
156
- "content": "\\LambdaPTER",
157
- "lstrip": false,
158
- "normalized": true,
159
- "rstrip": false,
160
- "single_word": false,
161
- "special": false
162
- },
163
- "30537": {
164
- "content": "\\LambdaRK",
165
- "lstrip": false,
166
- "normalized": true,
167
- "rstrip": false,
168
- "single_word": false,
169
- "special": false
170
- },
171
- "30538": {
172
- "content": "\\LambdaYNAUD",
173
- "lstrip": false,
174
- "normalized": true,
175
- "rstrip": false,
176
- "single_word": false,
177
- "special": false
178
- },
179
- "30539": {
180
- "content": "\\Lambdamodule",
181
- "lstrip": false,
182
- "normalized": true,
183
- "rstrip": false,
184
- "single_word": false,
185
- "special": false
186
- },
187
- "30540": {
188
- "content": "\\Lambdamodules",
189
- "lstrip": false,
190
- "normalized": true,
191
- "rstrip": false,
192
- "single_word": false,
193
- "special": false
194
- },
195
- "30541": {
196
- "content": "\\Lambdappendix",
197
- "lstrip": false,
198
- "normalized": true,
199
- "rstrip": false,
200
- "single_word": false,
201
- "special": false
202
- },
203
- "30542": {
204
- "content": "\\Lambdas",
205
- "lstrip": false,
206
- "normalized": true,
207
- "rstrip": false,
208
- "single_word": false,
209
- "special": false
210
- },
211
- "30543": {
212
- "content": "\\Lambdaut",
213
- "lstrip": false,
214
- "normalized": true,
215
- "rstrip": false,
216
- "single_word": false,
217
- "special": false
218
- },
219
- "30544": {
220
- "content": "\\Leftarrow",
221
- "lstrip": false,
222
- "normalized": true,
223
- "rstrip": false,
224
- "single_word": false,
225
- "special": false
226
- },
227
- "30545": {
228
- "content": "\\leftarrow",
229
- "lstrip": false,
230
- "normalized": true,
231
- "rstrip": false,
232
- "single_word": false,
233
- "special": false
234
- },
235
- "30546": {
236
- "content": "\\Leftrightarrow",
237
- "lstrip": false,
238
- "normalized": true,
239
- "rstrip": false,
240
- "single_word": false,
241
- "special": false
242
- },
243
- "30547": {
244
- "content": "\\Longleftarrow",
245
- "lstrip": false,
246
- "normalized": true,
247
- "rstrip": false,
248
- "single_word": false,
249
- "special": false
250
- },
251
- "30548": {
252
- "content": "\\Longleftrightarrow",
253
- "lstrip": false,
254
- "normalized": true,
255
- "rstrip": false,
256
- "single_word": false,
257
- "special": false
258
- },
259
- "30549": {
260
- "content": "\\Longrightarrow",
261
- "lstrip": false,
262
- "normalized": true,
263
- "rstrip": false,
264
- "single_word": false,
265
- "special": false
266
- },
267
- "30550": {
268
- "content": "\\M",
269
- "lstrip": false,
270
- "normalized": true,
271
- "rstrip": false,
272
- "single_word": false,
273
- "special": false
274
- },
275
- "30551": {
276
- "content": "\\Math",
277
- "lstrip": false,
278
- "normalized": true,
279
- "rstrip": false,
280
- "single_word": false,
281
- "special": false
282
- },
283
- "30552": {
284
- "content": "\\Minv",
285
- "lstrip": false,
286
- "normalized": true,
287
- "rstrip": false,
288
- "single_word": false,
289
- "special": false
290
- },
291
- "30553": {
292
- "content": "\\Omega",
293
- "lstrip": false,
294
- "normalized": true,
295
- "rstrip": false,
296
- "single_word": false,
297
- "special": false
298
- },
299
- "30554": {
300
- "content": "\\Perp",
301
- "lstrip": false,
302
- "normalized": true,
303
- "rstrip": false,
304
- "single_word": false,
305
- "special": false
306
- },
307
- "30555": {
308
- "content": "\\PerpI",
309
- "lstrip": false,
310
- "normalized": true,
311
- "rstrip": false,
312
- "single_word": false,
313
- "special": false
314
- },
315
- "30556": {
316
- "content": "\\Phi",
317
- "lstrip": false,
318
- "normalized": true,
319
- "rstrip": false,
320
- "single_word": false,
321
- "special": false
322
- },
323
- "30557": {
324
- "content": "\\Pi",
325
- "lstrip": false,
326
- "normalized": true,
327
- "rstrip": false,
328
- "single_word": false,
329
- "special": false
330
- },
331
- "30558": {
332
- "content": "\\Pisentence",
333
- "lstrip": false,
334
- "normalized": true,
335
- "rstrip": false,
336
- "single_word": false,
337
- "special": false
338
- },
339
- "30559": {
340
- "content": "\\Pisentences",
341
- "lstrip": false,
342
- "normalized": true,
343
- "rstrip": false,
344
- "single_word": false,
345
- "special": false
346
- },
347
- "30560": {
348
- "content": "\\Psi",
349
- "lstrip": false,
350
- "normalized": true,
351
- "rstrip": false,
352
- "single_word": false,
353
- "special": false
354
- },
355
- "30561": {
356
- "content": "\\Psiitself",
357
- "lstrip": false,
358
- "normalized": true,
359
- "rstrip": false,
360
- "single_word": false,
361
- "special": false
362
- },
363
- "30562": {
364
- "content": "\\Psipre",
365
- "lstrip": false,
366
- "normalized": true,
367
- "rstrip": false,
368
- "single_word": false,
369
- "special": false
370
- },
371
- "30563": {
372
- "content": "\\Psir",
373
- "lstrip": false,
374
- "normalized": true,
375
- "rstrip": false,
376
- "single_word": false,
377
- "special": false
378
- },
379
- "30564": {
380
- "content": "\\Re",
381
- "lstrip": false,
382
- "normalized": true,
383
- "rstrip": false,
384
- "single_word": false,
385
- "special": false
386
- },
387
- "30565": {
388
- "content": "\\Rightarrow",
389
- "lstrip": false,
390
- "normalized": true,
391
- "rstrip": false,
392
- "single_word": false,
393
- "special": false
394
- },
395
- "30566": {
396
- "content": "\\rightarrow",
397
- "lstrip": false,
398
- "normalized": true,
399
- "rstrip": false,
400
- "single_word": false,
401
- "special": false
402
- },
403
- "30567": {
404
- "content": "\\S",
405
- "lstrip": false,
406
- "normalized": true,
407
- "rstrip": false,
408
- "single_word": false,
409
- "special": false
410
- },
411
- "30568": {
412
- "content": "\\SA",
413
- "lstrip": false,
414
- "normalized": true,
415
- "rstrip": false,
416
- "single_word": false,
417
- "special": false
418
- },
419
- "30569": {
420
- "content": "\\SD",
421
- "lstrip": false,
422
- "normalized": true,
423
- "rstrip": false,
424
- "single_word": false,
425
- "special": false
426
- },
427
- "30570": {
428
- "content": "\\SE",
429
- "lstrip": false,
430
- "normalized": true,
431
- "rstrip": false,
432
- "single_word": false,
433
- "special": false
434
- },
435
- "30571": {
436
- "content": "\\SF",
437
- "lstrip": false,
438
- "normalized": true,
439
- "rstrip": false,
440
- "single_word": false,
441
- "special": false
442
- },
443
- "30572": {
444
- "content": "\\SIII",
445
- "lstrip": false,
446
- "normalized": true,
447
- "rstrip": false,
448
- "single_word": false,
449
- "special": false
450
- },
451
- "30573": {
452
- "content": "\\SIV",
453
- "lstrip": false,
454
- "normalized": true,
455
- "rstrip": false,
456
- "single_word": false,
457
- "special": false
458
- },
459
- "30574": {
460
- "content": "\\SIX",
461
- "lstrip": false,
462
- "normalized": true,
463
- "rstrip": false,
464
- "single_word": false,
465
- "special": false
466
- },
467
- "30575": {
468
- "content": "\\SVII",
469
- "lstrip": false,
470
- "normalized": true,
471
- "rstrip": false,
472
- "single_word": false,
473
- "special": false
474
- },
475
- "30576": {
476
- "content": "\\Sigma",
477
- "lstrip": false,
478
- "normalized": true,
479
- "rstrip": false,
480
- "single_word": false,
481
- "special": false
482
- },
483
- "30577": {
484
- "content": "\\Subset",
485
- "lstrip": false,
486
- "normalized": true,
487
- "rstrip": false,
488
- "single_word": false,
489
- "special": false
490
- },
491
- "30578": {
492
- "content": "\\Theta",
493
- "lstrip": false,
494
- "normalized": true,
495
- "rstrip": false,
496
- "single_word": false,
497
- "special": false
498
- },
499
- "30579": {
500
- "content": "\\to",
501
- "lstrip": false,
502
- "normalized": true,
503
- "rstrip": false,
504
- "single_word": false,
505
- "special": false
506
- },
507
- "30580": {
508
- "content": "\\Uparrow",
509
- "lstrip": false,
510
- "normalized": true,
511
- "rstrip": false,
512
- "single_word": false,
513
- "special": false
514
- },
515
- "30581": {
516
- "content": "\\Upsilon",
517
- "lstrip": false,
518
- "normalized": true,
519
- "rstrip": false,
520
- "single_word": false,
521
- "special": false
522
- },
523
- "30582": {
524
- "content": "\\Users",
525
- "lstrip": false,
526
- "normalized": true,
527
- "rstrip": false,
528
- "single_word": false,
529
- "special": false
530
- },
531
- "30583": {
532
- "content": "\\Varangle",
533
- "lstrip": false,
534
- "normalized": true,
535
- "rstrip": false,
536
- "single_word": false,
537
- "special": false
538
- },
539
- "30584": {
540
- "content": "\\Vdash",
541
- "lstrip": false,
542
- "normalized": true,
543
- "rstrip": false,
544
- "single_word": false,
545
- "special": false
546
- },
547
- "30585": {
548
- "content": "\\Xi",
549
- "lstrip": false,
550
- "normalized": true,
551
- "rstrip": false,
552
- "single_word": false,
553
- "special": false
554
- },
555
- "30586": {
556
- "content": "\\aleph",
557
- "lstrip": false,
558
- "normalized": true,
559
- "rstrip": false,
560
- "single_word": false,
561
- "special": false
562
- },
563
- "30587": {
564
- "content": "\\alldifferent",
565
- "lstrip": false,
566
- "normalized": true,
567
- "rstrip": false,
568
- "single_word": false,
569
- "special": false
570
- },
571
- "30588": {
572
- "content": "\\alpha",
573
- "lstrip": false,
574
- "normalized": true,
575
- "rstrip": false,
576
- "single_word": false,
577
- "special": false
578
- },
579
- "30589": {
580
- "content": "\\alphapointwise",
581
- "lstrip": false,
582
- "normalized": true,
583
- "rstrip": false,
584
- "single_word": false,
585
- "special": false
586
- },
587
- "30590": {
588
- "content": "\\alphareversed",
589
- "lstrip": false,
590
- "normalized": true,
591
- "rstrip": false,
592
- "single_word": false,
593
- "special": false
594
- },
595
- "30591": {
596
- "content": "\\alphasurjective",
597
- "lstrip": false,
598
- "normalized": true,
599
- "rstrip": false,
600
- "single_word": false,
601
- "special": false
602
- },
603
- "30592": {
604
- "content": "\\amalg",
605
- "lstrip": false,
606
- "normalized": true,
607
- "rstrip": false,
608
- "single_word": false,
609
- "special": false
610
- },
611
- "30593": {
612
- "content": "\\angle",
613
- "lstrip": false,
614
- "normalized": true,
615
- "rstrip": false,
616
- "single_word": false,
617
- "special": false
618
- },
619
- "30594": {
620
- "content": "\\approx",
621
- "lstrip": false,
622
- "normalized": true,
623
- "rstrip": false,
624
- "single_word": false,
625
- "special": false
626
- },
627
- "30595": {
628
- "content": "\\arccos",
629
- "lstrip": false,
630
- "normalized": true,
631
- "rstrip": false,
632
- "single_word": false,
633
- "special": false
634
- },
635
- "30596": {
636
- "content": "\\arcsin",
637
- "lstrip": false,
638
- "normalized": true,
639
- "rstrip": false,
640
- "single_word": false,
641
- "special": false
642
- },
643
- "30597": {
644
- "content": "\\arctan",
645
- "lstrip": false,
646
- "normalized": true,
647
- "rstrip": false,
648
- "single_word": false,
649
- "special": false
650
- },
651
- "30598": {
652
- "content": "\\arg",
653
- "lstrip": false,
654
- "normalized": true,
655
- "rstrip": false,
656
- "single_word": false,
657
- "special": false
658
- },
659
- "30599": {
660
- "content": "\\ast",
661
- "lstrip": false,
662
- "normalized": true,
663
- "rstrip": false,
664
- "single_word": false,
665
- "special": false
666
- },
667
- "30600": {
668
- "content": "\\asymp",
669
- "lstrip": false,
670
- "normalized": true,
671
- "rstrip": false,
672
- "single_word": false,
673
- "special": false
674
- },
675
- "30601": {
676
- "content": "\\atop",
677
- "lstrip": false,
678
- "normalized": true,
679
- "rstrip": false,
680
- "single_word": false,
681
- "special": false
682
- },
683
- "30602": {
684
- "content": "\\backsim",
685
- "lstrip": false,
686
- "normalized": true,
687
- "rstrip": false,
688
- "single_word": false,
689
- "special": false
690
- },
691
- "30603": {
692
- "content": "\\backslash",
693
- "lstrip": false,
694
- "normalized": true,
695
- "rstrip": false,
696
- "single_word": false,
697
- "special": false
698
- },
699
- "30604": {
700
- "content": "\\bar",
701
- "lstrip": false,
702
- "normalized": true,
703
- "rstrip": false,
704
- "single_word": false,
705
- "special": false
706
- },
707
- "30605": {
708
- "content": "\\because",
709
- "lstrip": false,
710
- "normalized": true,
711
- "rstrip": false,
712
- "single_word": false,
713
- "special": false
714
- },
715
- "30606": {
716
- "content": "\\begin",
717
- "lstrip": false,
718
- "normalized": true,
719
- "rstrip": false,
720
- "single_word": false,
721
- "special": false
722
- },
723
- "30607": {
724
- "content": "\\beta",
725
- "lstrip": false,
726
- "normalized": true,
727
- "rstrip": false,
728
- "single_word": false,
729
- "special": false
730
- },
731
- "30608": {
732
- "content": "\\betaa",
733
- "lstrip": false,
734
- "normalized": true,
735
- "rstrip": false,
736
- "single_word": false,
737
- "special": false
738
- },
739
- "30609": {
740
- "content": "\\betaencharacter",
741
- "lstrip": false,
742
- "normalized": true,
743
- "rstrip": false,
744
- "single_word": false,
745
- "special": false
746
- },
747
- "30610": {
748
- "content": "\\betaencharakter",
749
- "lstrip": false,
750
- "normalized": true,
751
- "rstrip": false,
752
- "single_word": false,
753
- "special": false
754
- },
755
- "30611": {
756
- "content": "\\betaencharaktere",
757
- "lstrip": false,
758
- "normalized": true,
759
- "rstrip": false,
760
- "single_word": false,
761
- "special": false
762
- },
763
- "30612": {
764
- "content": "\\betaenoharaktere",
765
- "lstrip": false,
766
- "normalized": true,
767
- "rstrip": false,
768
- "single_word": false,
769
- "special": false
770
- },
771
- "30613": {
772
- "content": "\\betaerwesentliche",
773
- "lstrip": false,
774
- "normalized": true,
775
- "rstrip": false,
776
- "single_word": false,
777
- "special": false
778
- },
779
- "30614": {
780
- "content": "\\betaeverywhere",
781
- "lstrip": false,
782
- "normalized": true,
783
- "rstrip": false,
784
- "single_word": false,
785
- "special": false
786
- },
787
- "30615": {
788
- "content": "\\betao",
789
- "lstrip": false,
790
- "normalized": true,
791
- "rstrip": false,
792
- "single_word": false,
793
- "special": false
794
- },
795
- "30616": {
796
- "content": "\\beth",
797
- "lstrip": false,
798
- "normalized": true,
799
- "rstrip": false,
800
- "single_word": false,
801
- "special": false
802
- },
803
- "30617": {
804
- "content": "\\bigcap",
805
- "lstrip": false,
806
- "normalized": true,
807
- "rstrip": false,
808
- "single_word": false,
809
- "special": false
810
- },
811
- "30618": {
812
- "content": "\\bigcirc",
813
- "lstrip": false,
814
- "normalized": true,
815
- "rstrip": false,
816
- "single_word": false,
817
- "special": false
818
- },
819
- "30619": {
820
- "content": "\\bigcup",
821
- "lstrip": false,
822
- "normalized": true,
823
- "rstrip": false,
824
- "single_word": false,
825
- "special": false
826
- },
827
- "30620": {
828
- "content": "\\bigodot",
829
- "lstrip": false,
830
- "normalized": true,
831
- "rstrip": false,
832
- "single_word": false,
833
- "special": false
834
- },
835
- "30621": {
836
- "content": "\\bigoplus",
837
- "lstrip": false,
838
- "normalized": true,
839
- "rstrip": false,
840
- "single_word": false,
841
- "special": false
842
- },
843
- "30622": {
844
- "content": "\\bigotimes",
845
- "lstrip": false,
846
- "normalized": true,
847
- "rstrip": false,
848
- "single_word": false,
849
- "special": false
850
- },
851
- "30623": {
852
- "content": "\\bigsqcup",
853
- "lstrip": false,
854
- "normalized": true,
855
- "rstrip": false,
856
- "single_word": false,
857
- "special": false
858
- },
859
- "30624": {
860
- "content": "\\bigvee",
861
- "lstrip": false,
862
- "normalized": true,
863
- "rstrip": false,
864
- "single_word": false,
865
- "special": false
866
- },
867
- "30625": {
868
- "content": "\\bigwedge",
869
- "lstrip": false,
870
- "normalized": true,
871
- "rstrip": false,
872
- "single_word": false,
873
- "special": false
874
- },
875
- "30626": {
876
- "content": "\\binom",
877
- "lstrip": false,
878
- "normalized": true,
879
- "rstrip": false,
880
- "single_word": false,
881
- "special": false
882
- },
883
- "30627": {
884
- "content": "\\bmod",
885
- "lstrip": false,
886
- "normalized": true,
887
- "rstrip": false,
888
- "single_word": false,
889
- "special": false
890
- },
891
- "30628": {
892
- "content": "\\bmodL",
893
- "lstrip": false,
894
- "normalized": true,
895
- "rstrip": false,
896
- "single_word": false,
897
- "special": false
898
- },
899
- "30629": {
900
- "content": "\\boldsymbol",
901
- "lstrip": false,
902
- "normalized": true,
903
- "rstrip": false,
904
- "single_word": false,
905
- "special": false
906
- },
907
- "30630": {
908
- "content": "\\bowtie",
909
- "lstrip": false,
910
- "normalized": true,
911
- "rstrip": false,
912
- "single_word": false,
913
- "special": false
914
- },
915
- "30631": {
916
- "content": "\\boxminus",
917
- "lstrip": false,
918
- "normalized": true,
919
- "rstrip": false,
920
- "single_word": false,
921
- "special": false
922
- },
923
- "30632": {
924
- "content": "\\boxplus",
925
- "lstrip": false,
926
- "normalized": true,
927
- "rstrip": false,
928
- "single_word": false,
929
- "special": false
930
- },
931
- "30633": {
932
- "content": "\\boxtimes",
933
- "lstrip": false,
934
- "normalized": true,
935
- "rstrip": false,
936
- "single_word": false,
937
- "special": false
938
- },
939
- "30634": {
940
- "content": "\\breve",
941
- "lstrip": false,
942
- "normalized": true,
943
- "rstrip": false,
944
- "single_word": false,
945
- "special": false
946
- },
947
- "30635": {
948
- "content": "\\bullet",
949
- "lstrip": false,
950
- "normalized": true,
951
- "rstrip": false,
952
- "single_word": false,
953
- "special": false
954
- },
955
- "30636": {
956
- "content": "\\bumpeq",
957
- "lstrip": false,
958
- "normalized": true,
959
- "rstrip": false,
960
- "single_word": false,
961
- "special": false
962
- },
963
- "30637": {
964
- "content": "\\cap",
965
- "lstrip": false,
966
- "normalized": true,
967
- "rstrip": false,
968
- "single_word": false,
969
- "special": false
970
- },
971
- "30638": {
972
- "content": "\\capV",
973
- "lstrip": false,
974
- "normalized": true,
975
- "rstrip": false,
976
- "single_word": false,
977
- "special": false
978
- },
979
- "30639": {
980
- "content": "\\cdot",
981
- "lstrip": false,
982
- "normalized": true,
983
- "rstrip": false,
984
- "single_word": false,
985
- "special": false
986
- },
987
- "30640": {
988
- "content": "\\cdotFUNCTIONS",
989
- "lstrip": false,
990
- "normalized": true,
991
- "rstrip": false,
992
- "single_word": false,
993
- "special": false
994
- },
995
- "30641": {
996
- "content": "\\cdotideal",
997
- "lstrip": false,
998
- "normalized": true,
999
- "rstrip": false,
1000
- "single_word": false,
1001
- "special": false
1002
- },
1003
- "30642": {
1004
- "content": "\\cdotr",
1005
- "lstrip": false,
1006
- "normalized": true,
1007
- "rstrip": false,
1008
- "single_word": false,
1009
- "special": false
1010
- },
1011
- "30643": {
1012
- "content": "\\cdots",
1013
- "lstrip": false,
1014
- "normalized": true,
1015
- "rstrip": false,
1016
- "single_word": false,
1017
- "special": false
1018
- },
1019
- "30644": {
1020
- "content": "\\cdotss",
1021
- "lstrip": false,
1022
- "normalized": true,
1023
- "rstrip": false,
1024
- "single_word": false,
1025
- "special": false
1026
- },
1027
- "30645": {
1028
- "content": "\\cdotvalues",
1029
- "lstrip": false,
1030
- "normalized": true,
1031
- "rstrip": false,
1032
- "single_word": false,
1033
- "special": false
1034
- },
1035
- "30646": {
1036
- "content": "\\check",
1037
- "lstrip": false,
1038
- "normalized": true,
1039
- "rstrip": false,
1040
- "single_word": false,
1041
- "special": false
1042
- },
1043
- "30647": {
1044
- "content": "\\checkmark",
1045
- "lstrip": false,
1046
- "normalized": true,
1047
- "rstrip": false,
1048
- "single_word": false,
1049
- "special": false
1050
- },
1051
- "30648": {
1052
- "content": "\\chi",
1053
- "lstrip": false,
1054
- "normalized": true,
1055
- "rstrip": false,
1056
- "single_word": false,
1057
- "special": false
1058
- },
1059
- "30649": {
1060
- "content": "\\circ",
1061
- "lstrip": false,
1062
- "normalized": true,
1063
- "rstrip": false,
1064
- "single_word": false,
1065
- "special": false
1066
- },
1067
- "30650": {
1068
- "content": "\\circdet",
1069
- "lstrip": false,
1070
- "normalized": true,
1071
- "rstrip": false,
1072
- "single_word": false,
1073
- "special": false
1074
- },
1075
- "30651": {
1076
- "content": "\\circf",
1077
- "lstrip": false,
1078
- "normalized": true,
1079
- "rstrip": false,
1080
- "single_word": false,
1081
- "special": false
1082
- },
1083
- "30652": {
1084
- "content": "\\circlearrowleft",
1085
- "lstrip": false,
1086
- "normalized": true,
1087
- "rstrip": false,
1088
- "single_word": false,
1089
- "special": false
1090
- },
1091
- "30653": {
1092
- "content": "\\circlearrowright",
1093
- "lstrip": false,
1094
- "normalized": true,
1095
- "rstrip": false,
1096
- "single_word": false,
1097
- "special": false
1098
- },
1099
- "30654": {
1100
- "content": "\\circledR",
1101
- "lstrip": false,
1102
- "normalized": true,
1103
- "rstrip": false,
1104
- "single_word": false,
1105
- "special": false
1106
- },
1107
- "30655": {
1108
- "content": "\\circledast",
1109
- "lstrip": false,
1110
- "normalized": true,
1111
- "rstrip": false,
1112
- "single_word": false,
1113
- "special": false
1114
- },
1115
- "30656": {
1116
- "content": "\\cjkend",
1117
- "lstrip": false,
1118
- "normalized": true,
1119
- "rstrip": false,
1120
- "single_word": false,
1121
- "special": false
1122
- },
1123
- "30657": {
1124
- "content": "\\cjkstart",
1125
- "lstrip": false,
1126
- "normalized": true,
1127
- "rstrip": false,
1128
- "single_word": false,
1129
- "special": false
1130
- },
1131
- "30658": {
1132
- "content": "\\cline",
1133
- "lstrip": false,
1134
- "normalized": true,
1135
- "rstrip": false,
1136
- "single_word": false,
1137
- "special": false
1138
- },
1139
- "30659": {
1140
- "content": "\\complement",
1141
- "lstrip": false,
1142
- "normalized": true,
1143
- "rstrip": false,
1144
- "single_word": false,
1145
- "special": false
1146
- },
1147
- "30660": {
1148
- "content": "\\cong",
1149
- "lstrip": false,
1150
- "normalized": true,
1151
- "rstrip": false,
1152
- "single_word": false,
1153
- "special": false
1154
- },
1155
- "30661": {
1156
- "content": "\\coprod",
1157
- "lstrip": false,
1158
- "normalized": true,
1159
- "rstrip": false,
1160
- "single_word": false,
1161
- "special": false
1162
- },
1163
- "30662": {
1164
- "content": "\\coprodAut",
1165
- "lstrip": false,
1166
- "normalized": true,
1167
- "rstrip": false,
1168
- "single_word": false,
1169
- "special": false
1170
- },
1171
- "30663": {
1172
- "content": "\\coprodU",
1173
- "lstrip": false,
1174
- "normalized": true,
1175
- "rstrip": false,
1176
- "single_word": false,
1177
- "special": false
1178
- },
1179
- "30664": {
1180
- "content": "\\cos",
1181
- "lstrip": false,
1182
- "normalized": true,
1183
- "rstrip": false,
1184
- "single_word": false,
1185
- "special": false
1186
- },
1187
- "30665": {
1188
- "content": "\\cosh",
1189
- "lstrip": false,
1190
- "normalized": true,
1191
- "rstrip": false,
1192
- "single_word": false,
1193
- "special": false
1194
- },
1195
- "30666": {
1196
- "content": "\\cot",
1197
- "lstrip": false,
1198
- "normalized": true,
1199
- "rstrip": false,
1200
- "single_word": false,
1201
- "special": false
1202
- },
1203
- "30667": {
1204
- "content": "\\cox",
1205
- "lstrip": false,
1206
- "normalized": true,
1207
- "rstrip": false,
1208
- "single_word": false,
1209
- "special": false
1210
- },
1211
- "30668": {
1212
- "content": "\\csc",
1213
- "lstrip": false,
1214
- "normalized": true,
1215
- "rstrip": false,
1216
- "single_word": false,
1217
- "special": false
1218
- },
1219
- "30669": {
1220
- "content": "\\cup",
1221
- "lstrip": false,
1222
- "normalized": true,
1223
- "rstrip": false,
1224
- "single_word": false,
1225
- "special": false
1226
- },
1227
- "30670": {
1228
- "content": "\\curlyvee",
1229
- "lstrip": false,
1230
- "normalized": true,
1231
- "rstrip": false,
1232
- "single_word": false,
1233
- "special": false
1234
- },
1235
- "30671": {
1236
- "content": "\\curlywedge",
1237
- "lstrip": false,
1238
- "normalized": true,
1239
- "rstrip": false,
1240
- "single_word": false,
1241
- "special": false
1242
- },
1243
- "30672": {
1244
- "content": "\\curvearrowleft",
1245
- "lstrip": false,
1246
- "normalized": true,
1247
- "rstrip": false,
1248
- "single_word": false,
1249
- "special": false
1250
- },
1251
- "30673": {
1252
- "content": "\\curvearrowright",
1253
- "lstrip": false,
1254
- "normalized": true,
1255
- "rstrip": false,
1256
- "single_word": false,
1257
- "special": false
1258
- },
1259
- "30674": {
1260
- "content": "\\dagger",
1261
- "lstrip": false,
1262
- "normalized": true,
1263
- "rstrip": false,
1264
- "single_word": false,
1265
- "special": false
1266
- },
1267
- "30675": {
1268
- "content": "\\dashv",
1269
- "lstrip": false,
1270
- "normalized": true,
1271
- "rstrip": false,
1272
- "single_word": false,
1273
- "special": false
1274
- },
1275
- "30676": {
1276
- "content": "\\ddagger",
1277
- "lstrip": false,
1278
- "normalized": true,
1279
- "rstrip": false,
1280
- "single_word": false,
1281
- "special": false
1282
- },
1283
- "30677": {
1284
- "content": "\\dddo",
1285
- "lstrip": false,
1286
- "normalized": true,
1287
- "rstrip": false,
1288
- "single_word": false,
1289
- "special": false
1290
- },
1291
- "30678": {
1292
- "content": "\\dddot",
1293
- "lstrip": false,
1294
- "normalized": true,
1295
- "rstrip": false,
1296
- "single_word": false,
1297
- "special": false
1298
- },
1299
- "30679": {
1300
- "content": "\\ddo",
1301
- "lstrip": false,
1302
- "normalized": true,
1303
- "rstrip": false,
1304
- "single_word": false,
1305
- "special": false
1306
- },
1307
- "30680": {
1308
- "content": "\\ddot",
1309
- "lstrip": false,
1310
- "normalized": true,
1311
- "rstrip": false,
1312
- "single_word": false,
1313
- "special": false
1314
- },
1315
- "30681": {
1316
- "content": "\\ddots",
1317
- "lstrip": false,
1318
- "normalized": true,
1319
- "rstrip": false,
1320
- "single_word": false,
1321
- "special": false
1322
- },
1323
- "30682": {
1324
- "content": "\\delta",
1325
- "lstrip": false,
1326
- "normalized": true,
1327
- "rstrip": false,
1328
- "single_word": false,
1329
- "special": false
1330
- },
1331
- "30683": {
1332
- "content": "\\deltafunctor",
1333
- "lstrip": false,
1334
- "normalized": true,
1335
- "rstrip": false,
1336
- "single_word": false,
1337
- "special": false
1338
- },
1339
- "30684": {
1340
- "content": "\\diamond",
1341
- "lstrip": false,
1342
- "normalized": true,
1343
- "rstrip": false,
1344
- "single_word": false,
1345
- "special": false
1346
- },
1347
- "30685": {
1348
- "content": "\\digamma",
1349
- "lstrip": false,
1350
- "normalized": true,
1351
- "rstrip": false,
1352
- "single_word": false,
1353
- "special": false
1354
- },
1355
- "30686": {
1356
- "content": "\\directory",
1357
- "lstrip": false,
1358
- "normalized": true,
1359
- "rstrip": false,
1360
- "single_word": false,
1361
- "special": false
1362
- },
1363
- "30687": {
1364
- "content": "\\div",
1365
- "lstrip": false,
1366
- "normalized": true,
1367
- "rstrip": false,
1368
- "single_word": false,
1369
- "special": false
1370
- },
1371
- "30688": {
1372
- "content": "\\dot",
1373
- "lstrip": false,
1374
- "normalized": true,
1375
- "rstrip": false,
1376
- "single_word": false,
1377
- "special": false
1378
- },
1379
- "30689": {
1380
- "content": "\\doteq",
1381
- "lstrip": false,
1382
- "normalized": true,
1383
- "rstrip": false,
1384
- "single_word": false,
1385
- "special": false
1386
- },
1387
- "30690": {
1388
- "content": "\\doteqdot",
1389
- "lstrip": false,
1390
- "normalized": true,
1391
- "rstrip": false,
1392
- "single_word": false,
1393
- "special": false
1394
- },
1395
- "30691": {
1396
- "content": "\\dots",
1397
- "lstrip": false,
1398
- "normalized": true,
1399
- "rstrip": false,
1400
- "single_word": false,
1401
- "special": false
1402
- },
1403
- "30692": {
1404
- "content": "\\downarrow",
1405
- "lstrip": false,
1406
- "normalized": true,
1407
- "rstrip": false,
1408
- "single_word": false,
1409
- "special": false
1410
- },
1411
- "30693": {
1412
- "content": "\\downharpoonright",
1413
- "lstrip": false,
1414
- "normalized": true,
1415
- "rstrip": false,
1416
- "single_word": false,
1417
- "special": false
1418
- },
1419
- "30694": {
1420
- "content": "\\ell",
1421
- "lstrip": false,
1422
- "normalized": true,
1423
- "rstrip": false,
1424
- "single_word": false,
1425
- "special": false
1426
- },
1427
- "30695": {
1428
- "content": "\\ellholds",
1429
- "lstrip": false,
1430
- "normalized": true,
1431
- "rstrip": false,
1432
- "single_word": false,
1433
- "special": false
1434
- },
1435
- "30696": {
1436
- "content": "\\ellrepresentation",
1437
- "lstrip": false,
1438
- "normalized": true,
1439
- "rstrip": false,
1440
- "single_word": false,
1441
- "special": false
1442
- },
1443
- "30697": {
1444
- "content": "\\emptyset",
1445
- "lstrip": false,
1446
- "normalized": true,
1447
- "rstrip": false,
1448
- "single_word": false,
1449
- "special": false
1450
- },
1451
- "30698": {
1452
- "content": "\\end",
1453
- "lstrip": false,
1454
- "normalized": true,
1455
- "rstrip": false,
1456
- "single_word": false,
1457
- "special": false
1458
- },
1459
- "30699": {
1460
- "content": "\\epsilon",
1461
- "lstrip": false,
1462
- "normalized": true,
1463
- "rstrip": false,
1464
- "single_word": false,
1465
- "special": false
1466
- },
1467
- "30700": {
1468
- "content": "\\epsilonKer",
1469
- "lstrip": false,
1470
- "normalized": true,
1471
- "rstrip": false,
1472
- "single_word": false,
1473
- "special": false
1474
- },
1475
- "30701": {
1476
- "content": "\\equiv",
1477
- "lstrip": false,
1478
- "normalized": true,
1479
- "rstrip": false,
1480
- "single_word": false,
1481
- "special": false
1482
- },
1483
- "30702": {
1484
- "content": "\\eta",
1485
- "lstrip": false,
1486
- "normalized": true,
1487
- "rstrip": false,
1488
- "single_word": false,
1489
- "special": false
1490
- },
1491
- "30703": {
1492
- "content": "\\ex",
1493
- "lstrip": false,
1494
- "normalized": true,
1495
- "rstrip": false,
1496
- "single_word": false,
1497
- "special": false
1498
- },
1499
- "30704": {
1500
- "content": "\\exists",
1501
- "lstrip": false,
1502
- "normalized": true,
1503
- "rstrip": false,
1504
- "single_word": false,
1505
- "special": false
1506
- },
1507
- "30705": {
1508
- "content": "\\existsc",
1509
- "lstrip": false,
1510
- "normalized": true,
1511
- "rstrip": false,
1512
- "single_word": false,
1513
- "special": false
1514
- },
1515
- "30706": {
1516
- "content": "\\existsclosed",
1517
- "lstrip": false,
1518
- "normalized": true,
1519
- "rstrip": false,
1520
- "single_word": false,
1521
- "special": false
1522
- },
1523
- "30707": {
1524
- "content": "\\exp",
1525
- "lstrip": false,
1526
- "normalized": true,
1527
- "rstrip": false,
1528
- "single_word": false,
1529
- "special": false
1530
- },
1531
- "30708": {
1532
- "content": "\\fallingdotseq",
1533
- "lstrip": false,
1534
- "normalized": true,
1535
- "rstrip": false,
1536
- "single_word": false,
1537
- "special": false
1538
- },
1539
- "30709": {
1540
- "content": "\\forall",
1541
- "lstrip": false,
1542
- "normalized": true,
1543
- "rstrip": false,
1544
- "single_word": false,
1545
- "special": false
1546
- },
1547
- "30710": {
1548
- "content": "\\forallsomething",
1549
- "lstrip": false,
1550
- "normalized": true,
1551
- "rstrip": false,
1552
- "single_word": false,
1553
- "special": false
1554
- },
1555
- "30711": {
1556
- "content": "\\frac",
1557
- "lstrip": false,
1558
- "normalized": true,
1559
- "rstrip": false,
1560
- "single_word": false,
1561
- "special": false
1562
- },
1563
- "30712": {
1564
- "content": "\\frown",
1565
- "lstrip": false,
1566
- "normalized": true,
1567
- "rstrip": false,
1568
- "single_word": false,
1569
- "special": false
1570
- },
1571
- "30713": {
1572
- "content": "\\gamma",
1573
- "lstrip": false,
1574
- "normalized": true,
1575
- "rstrip": false,
1576
- "single_word": false,
1577
- "special": false
1578
- },
1579
- "30714": {
1580
- "content": "\\gammavalues",
1581
- "lstrip": false,
1582
- "normalized": true,
1583
- "rstrip": false,
1584
- "single_word": false,
1585
- "special": false
1586
- },
1587
- "30715": {
1588
- "content": "\\gcd",
1589
- "lstrip": false,
1590
- "normalized": true,
1591
- "rstrip": false,
1592
- "single_word": false,
1593
- "special": false
1594
- },
1595
- "30716": {
1596
- "content": "\\geq",
1597
- "lstrip": false,
1598
- "normalized": true,
1599
- "rstrip": false,
1600
- "single_word": false,
1601
- "special": false
1602
- },
1603
- "30717": {
1604
- "content": "\\geqq",
1605
- "lstrip": false,
1606
- "normalized": true,
1607
- "rstrip": false,
1608
- "single_word": false,
1609
- "special": false
1610
- },
1611
- "30718": {
1612
- "content": "\\geqslant",
1613
- "lstrip": false,
1614
- "normalized": true,
1615
- "rstrip": false,
1616
- "single_word": false,
1617
- "special": false
1618
- },
1619
- "30719": {
1620
- "content": "\\gg",
1621
- "lstrip": false,
1622
- "normalized": true,
1623
- "rstrip": false,
1624
- "single_word": false,
1625
- "special": false
1626
- },
1627
- "30720": {
1628
- "content": "\\grave",
1629
- "lstrip": false,
1630
- "normalized": true,
1631
- "rstrip": false,
1632
- "single_word": false,
1633
- "special": false
1634
- },
1635
- "30721": {
1636
- "content": "\\gtrdot",
1637
- "lstrip": false,
1638
- "normalized": true,
1639
- "rstrip": false,
1640
- "single_word": false,
1641
- "special": false
1642
- },
1643
- "30722": {
1644
- "content": "\\gtreqless",
1645
- "lstrip": false,
1646
- "normalized": true,
1647
- "rstrip": false,
1648
- "single_word": false,
1649
- "special": false
1650
- },
1651
- "30723": {
1652
- "content": "\\gtrless",
1653
- "lstrip": false,
1654
- "normalized": true,
1655
- "rstrip": false,
1656
- "single_word": false,
1657
- "special": false
1658
- },
1659
- "30724": {
1660
- "content": "\\gtrsim",
1661
- "lstrip": false,
1662
- "normalized": true,
1663
- "rstrip": false,
1664
- "single_word": false,
1665
- "special": false
1666
- },
1667
- "30725": {
1668
- "content": "\\hat",
1669
- "lstrip": false,
1670
- "normalized": true,
1671
- "rstrip": false,
1672
- "single_word": false,
1673
- "special": false
1674
- },
1675
- "30726": {
1676
- "content": "\\hbar",
1677
- "lstrip": false,
1678
- "normalized": true,
1679
- "rstrip": false,
1680
- "single_word": false,
1681
- "special": false
1682
- },
1683
- "30727": {
1684
- "content": "\\hdashline",
1685
- "lstrip": false,
1686
- "normalized": true,
1687
- "rstrip": false,
1688
- "single_word": false,
1689
- "special": false
1690
- },
1691
- "30728": {
1692
- "content": "\\hline",
1693
- "lstrip": false,
1694
- "normalized": true,
1695
- "rstrip": false,
1696
- "single_word": false,
1697
- "special": false
1698
- },
1699
- "30729": {
1700
- "content": "\\hlinee",
1701
- "lstrip": false,
1702
- "normalized": true,
1703
- "rstrip": false,
1704
- "single_word": false,
1705
- "special": false
1706
- },
1707
- "30730": {
1708
- "content": "\\hookleftarrow",
1709
- "lstrip": false,
1710
- "normalized": true,
1711
- "rstrip": false,
1712
- "single_word": false,
1713
- "special": false
1714
- },
1715
- "30731": {
1716
- "content": "\\hookrightarrow",
1717
- "lstrip": false,
1718
- "normalized": true,
1719
- "rstrip": false,
1720
- "single_word": false,
1721
- "special": false
1722
- },
1723
- "30732": {
1724
- "content": "\\hyunj",
1725
- "lstrip": false,
1726
- "normalized": true,
1727
- "rstrip": false,
1728
- "single_word": false,
1729
- "special": false
1730
- },
1731
- "30733": {
1732
- "content": "\\iiint",
1733
- "lstrip": false,
1734
- "normalized": true,
1735
- "rstrip": false,
1736
- "single_word": false,
1737
- "special": false
1738
- },
1739
- "30734": {
1740
- "content": "\\iint",
1741
- "lstrip": false,
1742
- "normalized": true,
1743
- "rstrip": false,
1744
- "single_word": false,
1745
- "special": false
1746
- },
1747
- "30735": {
1748
- "content": "\\imath",
1749
- "lstrip": false,
1750
- "normalized": true,
1751
- "rstrip": false,
1752
- "single_word": false,
1753
- "special": false
1754
- },
1755
- "30736": {
1756
- "content": "\\in",
1757
- "lstrip": false,
1758
- "normalized": true,
1759
- "rstrip": false,
1760
- "single_word": false,
1761
- "special": false
1762
- },
1763
- "30737": {
1764
- "content": "\\inG",
1765
- "lstrip": false,
1766
- "normalized": true,
1767
- "rstrip": false,
1768
- "single_word": false,
1769
- "special": false
1770
- },
1771
- "30738": {
1772
- "content": "\\inMag",
1773
- "lstrip": false,
1774
- "normalized": true,
1775
- "rstrip": false,
1776
- "single_word": false,
1777
- "special": false
1778
- },
1779
- "30739": {
1780
- "content": "\\inX",
1781
- "lstrip": false,
1782
- "normalized": true,
1783
- "rstrip": false,
1784
- "single_word": false,
1785
- "special": false
1786
- },
1787
- "30740": {
1788
- "content": "\\inf",
1789
- "lstrip": false,
1790
- "normalized": true,
1791
- "rstrip": false,
1792
- "single_word": false,
1793
- "special": false
1794
- },
1795
- "30741": {
1796
- "content": "\\infty",
1797
- "lstrip": false,
1798
- "normalized": true,
1799
- "rstrip": false,
1800
- "single_word": false,
1801
- "special": false
1802
- },
1803
- "30742": {
1804
- "content": "\\inftyalso",
1805
- "lstrip": false,
1806
- "normalized": true,
1807
- "rstrip": false,
1808
- "single_word": false,
1809
- "special": false
1810
- },
1811
- "30743": {
1812
- "content": "\\inftyo",
1813
- "lstrip": false,
1814
- "normalized": true,
1815
- "rstrip": false,
1816
- "single_word": false,
1817
- "special": false
1818
- },
1819
- "30744": {
1820
- "content": "\\inftyramifies",
1821
- "lstrip": false,
1822
- "normalized": true,
1823
- "rstrip": false,
1824
- "single_word": false,
1825
- "special": false
1826
- },
1827
- "30745": {
1828
- "content": "\\inm",
1829
- "lstrip": false,
1830
- "normalized": true,
1831
- "rstrip": false,
1832
- "single_word": false,
1833
- "special": false
1834
- },
1835
- "30746": {
1836
- "content": "\\inn",
1837
- "lstrip": false,
1838
- "normalized": true,
1839
- "rstrip": false,
1840
- "single_word": false,
1841
- "special": false
1842
- },
1843
- "30747": {
1844
- "content": "\\int",
1845
- "lstrip": false,
1846
- "normalized": true,
1847
- "rstrip": false,
1848
- "single_word": false,
1849
- "special": false
1850
- },
1851
- "30748": {
1852
- "content": "\\intormula",
1853
- "lstrip": false,
1854
- "normalized": true,
1855
- "rstrip": false,
1856
- "single_word": false,
1857
- "special": false
1858
- },
1859
- "30749": {
1860
- "content": "\\iota",
1861
- "lstrip": false,
1862
- "normalized": true,
1863
- "rstrip": false,
1864
- "single_word": false,
1865
- "special": false
1866
- },
1867
- "30750": {
1868
- "content": "\\jmath",
1869
- "lstrip": false,
1870
- "normalized": true,
1871
- "rstrip": false,
1872
- "single_word": false,
1873
- "special": false
1874
- },
1875
- "30751": {
1876
- "content": "\\kappa",
1877
- "lstrip": false,
1878
- "normalized": true,
1879
- "rstrip": false,
1880
- "single_word": false,
1881
- "special": false
1882
- },
1883
- "30752": {
1884
- "content": "\\kappai",
1885
- "lstrip": false,
1886
- "normalized": true,
1887
- "rstrip": false,
1888
- "single_word": false,
1889
- "special": false
1890
- },
1891
- "30753": {
1892
- "content": "\\kappath",
1893
- "lstrip": false,
1894
- "normalized": true,
1895
- "rstrip": false,
1896
- "single_word": false,
1897
- "special": false
1898
- },
1899
- "30754": {
1900
- "content": "\\lambda",
1901
- "lstrip": false,
1902
- "normalized": true,
1903
- "rstrip": false,
1904
- "single_word": false,
1905
- "special": false
1906
- },
1907
- "30755": {
1908
- "content": "\\lambdaa",
1909
- "lstrip": false,
1910
- "normalized": true,
1911
- "rstrip": false,
1912
- "single_word": false,
1913
- "special": false
1914
- },
1915
- "30756": {
1916
- "content": "\\lambdafinite",
1917
- "lstrip": false,
1918
- "normalized": true,
1919
- "rstrip": false,
1920
- "single_word": false,
1921
- "special": false
1922
- },
1923
- "30757": {
1924
- "content": "\\lambdasemiring",
1925
- "lstrip": false,
1926
- "normalized": true,
1927
- "rstrip": false,
1928
- "single_word": false,
1929
- "special": false
1930
- },
1931
- "30758": {
1932
- "content": "\\langle",
1933
- "lstrip": false,
1934
- "normalized": true,
1935
- "rstrip": false,
1936
- "single_word": false,
1937
- "special": false
1938
- },
1939
- "30759": {
1940
- "content": "\\langlee",
1941
- "lstrip": false,
1942
- "normalized": true,
1943
- "rstrip": false,
1944
- "single_word": false,
1945
- "special": false
1946
- },
1947
- "30760": {
1948
- "content": "\\langleu",
1949
- "lstrip": false,
1950
- "normalized": true,
1951
- "rstrip": false,
1952
- "single_word": false,
1953
- "special": false
1954
- },
1955
- "30761": {
1956
- "content": "\\langley",
1957
- "lstrip": false,
1958
- "normalized": true,
1959
- "rstrip": false,
1960
- "single_word": false,
1961
- "special": false
1962
- },
1963
- "30762": {
1964
- "content": "\\latex",
1965
- "lstrip": false,
1966
- "normalized": true,
1967
- "rstrip": false,
1968
- "single_word": false,
1969
- "special": false
1970
- },
1971
- "30763": {
1972
- "content": "\\lceil",
1973
- "lstrip": false,
1974
- "normalized": true,
1975
- "rstrip": false,
1976
- "single_word": false,
1977
- "special": false
1978
- },
1979
- "30764": {
1980
- "content": "\\lceilk",
1981
- "lstrip": false,
1982
- "normalized": true,
1983
- "rstrip": false,
1984
- "single_word": false,
1985
- "special": false
1986
- },
1987
- "30765": {
1988
- "content": "\\lceiln",
1989
- "lstrip": false,
1990
- "normalized": true,
1991
- "rstrip": false,
1992
- "single_word": false,
1993
- "special": false
1994
- },
1995
- "30766": {
1996
- "content": "\\lcm",
1997
- "lstrip": false,
1998
- "normalized": true,
1999
- "rstrip": false,
2000
- "single_word": false,
2001
- "special": false
2002
- },
2003
- "30767": {
2004
- "content": "\\ldot",
2005
- "lstrip": false,
2006
- "normalized": true,
2007
- "rstrip": false,
2008
- "single_word": false,
2009
- "special": false
2010
- },
2011
- "30768": {
2012
- "content": "\\ldots",
2013
- "lstrip": false,
2014
- "normalized": true,
2015
- "rstrip": false,
2016
- "single_word": false,
2017
- "special": false
2018
- },
2019
- "30769": {
2020
- "content": "\\ldotsPROOF",
2021
- "lstrip": false,
2022
- "normalized": true,
2023
- "rstrip": false,
2024
- "single_word": false,
2025
- "special": false
2026
- },
2027
- "30770": {
2028
- "content": "\\ldotsetc",
2029
- "lstrip": false,
2030
- "normalized": true,
2031
- "rstrip": false,
2032
- "single_word": false,
2033
- "special": false
2034
- },
2035
- "30771": {
2036
- "content": "\\leadsto",
2037
- "lstrip": false,
2038
- "normalized": true,
2039
- "rstrip": false,
2040
- "single_word": false,
2041
- "special": false
2042
- },
2043
- "30772": {
2044
- "content": "\\left",
2045
- "lstrip": false,
2046
- "normalized": true,
2047
- "rstrip": false,
2048
- "single_word": false,
2049
- "special": false
2050
- },
2051
- "30773": {
2052
- "content": "\\leftleftarrows",
2053
- "lstrip": false,
2054
- "normalized": true,
2055
- "rstrip": false,
2056
- "single_word": false,
2057
- "special": false
2058
- },
2059
- "30774": {
2060
- "content": "\\leftrightarrow",
2061
- "lstrip": false,
2062
- "normalized": true,
2063
- "rstrip": false,
2064
- "single_word": false,
2065
- "special": false
2066
- },
2067
- "30775": {
2068
- "content": "\\leftrightarrows",
2069
- "lstrip": false,
2070
- "normalized": true,
2071
- "rstrip": false,
2072
- "single_word": false,
2073
- "special": false
2074
- },
2075
- "30776": {
2076
- "content": "\\leftrightharpoons",
2077
- "lstrip": false,
2078
- "normalized": true,
2079
- "rstrip": false,
2080
- "single_word": false,
2081
- "special": false
2082
- },
2083
- "30777": {
2084
- "content": "\\leq",
2085
- "lstrip": false,
2086
- "normalized": true,
2087
- "rstrip": false,
2088
- "single_word": false,
2089
- "special": false
2090
- },
2091
- "30778": {
2092
- "content": "\\leqq",
2093
- "lstrip": false,
2094
- "normalized": true,
2095
- "rstrip": false,
2096
- "single_word": false,
2097
- "special": false
2098
- },
2099
- "30779": {
2100
- "content": "\\leqslant",
2101
- "lstrip": false,
2102
- "normalized": true,
2103
- "rstrip": false,
2104
- "single_word": false,
2105
- "special": false
2106
- },
2107
- "30780": {
2108
- "content": "\\lessdot",
2109
- "lstrip": false,
2110
- "normalized": true,
2111
- "rstrip": false,
2112
- "single_word": false,
2113
- "special": false
2114
- },
2115
- "30781": {
2116
- "content": "\\lesseqgtr",
2117
- "lstrip": false,
2118
- "normalized": true,
2119
- "rstrip": false,
2120
- "single_word": false,
2121
- "special": false
2122
- },
2123
- "30782": {
2124
- "content": "\\lessgtr",
2125
- "lstrip": false,
2126
- "normalized": true,
2127
- "rstrip": false,
2128
- "single_word": false,
2129
- "special": false
2130
- },
2131
- "30783": {
2132
- "content": "\\lesssim",
2133
- "lstrip": false,
2134
- "normalized": true,
2135
- "rstrip": false,
2136
- "single_word": false,
2137
- "special": false
2138
- },
2139
- "30784": {
2140
- "content": "\\lfloor",
2141
- "lstrip": false,
2142
- "normalized": true,
2143
- "rstrip": false,
2144
- "single_word": false,
2145
- "special": false
2146
- },
2147
- "30785": {
2148
- "content": "\\lg",
2149
- "lstrip": false,
2150
- "normalized": true,
2151
- "rstrip": false,
2152
- "single_word": false,
2153
- "special": false
2154
- },
2155
- "30786": {
2156
- "content": "\\lim",
2157
- "lstrip": false,
2158
- "normalized": true,
2159
- "rstrip": false,
2160
- "single_word": false,
2161
- "special": false
2162
- },
2163
- "30787": {
2164
- "content": "\\liminf",
2165
- "lstrip": false,
2166
- "normalized": true,
2167
- "rstrip": false,
2168
- "single_word": false,
2169
- "special": false
2170
- },
2171
- "30788": {
2172
- "content": "\\limsup",
2173
- "lstrip": false,
2174
- "normalized": true,
2175
- "rstrip": false,
2176
- "single_word": false,
2177
- "special": false
2178
- },
2179
- "30789": {
2180
- "content": "\\ll",
2181
- "lstrip": false,
2182
- "normalized": true,
2183
- "rstrip": false,
2184
- "single_word": false,
2185
- "special": false
2186
- },
2187
- "30790": {
2188
- "content": "\\llbracket",
2189
- "lstrip": false,
2190
- "normalized": true,
2191
- "rstrip": false,
2192
- "single_word": false,
2193
- "special": false
2194
- },
2195
- "30791": {
2196
- "content": "\\llcorner",
2197
- "lstrip": false,
2198
- "normalized": true,
2199
- "rstrip": false,
2200
- "single_word": false,
2201
- "special": false
2202
- },
2203
- "30792": {
2204
- "content": "\\lll",
2205
- "lstrip": false,
2206
- "normalized": true,
2207
- "rstrip": false,
2208
- "single_word": false,
2209
- "special": false
2210
- },
2211
- "30793": {
2212
- "content": "\\ln",
2213
- "lstrip": false,
2214
- "normalized": true,
2215
- "rstrip": false,
2216
- "single_word": false,
2217
- "special": false
2218
- },
2219
- "30794": {
2220
- "content": "\\log",
2221
- "lstrip": false,
2222
- "normalized": true,
2223
- "rstrip": false,
2224
- "single_word": false,
2225
- "special": false
2226
- },
2227
- "30795": {
2228
- "content": "\\longdiv",
2229
- "lstrip": false,
2230
- "normalized": true,
2231
- "rstrip": false,
2232
- "single_word": false,
2233
- "special": false
2234
- },
2235
- "30796": {
2236
- "content": "\\longleftarrow",
2237
- "lstrip": false,
2238
- "normalized": true,
2239
- "rstrip": false,
2240
- "single_word": false,
2241
- "special": false
2242
- },
2243
- "30797": {
2244
- "content": "\\longleftrightarrow",
2245
- "lstrip": false,
2246
- "normalized": true,
2247
- "rstrip": false,
2248
- "single_word": false,
2249
- "special": false
2250
- },
2251
- "30798": {
2252
- "content": "\\longleftrightarrowEfi",
2253
- "lstrip": false,
2254
- "normalized": true,
2255
- "rstrip": false,
2256
- "single_word": false,
2257
- "special": false
2258
- },
2259
- "30799": {
2260
- "content": "\\longmapsto",
2261
- "lstrip": false,
2262
- "normalized": true,
2263
- "rstrip": false,
2264
- "single_word": false,
2265
- "special": false
2266
- },
2267
- "30800": {
2268
- "content": "\\longmapstomult",
2269
- "lstrip": false,
2270
- "normalized": true,
2271
- "rstrip": false,
2272
- "single_word": false,
2273
- "special": false
2274
- },
2275
- "30801": {
2276
- "content": "\\longrightarrow",
2277
- "lstrip": false,
2278
- "normalized": true,
2279
- "rstrip": false,
2280
- "single_word": false,
2281
- "special": false
2282
- },
2283
- "30802": {
2284
- "content": "\\lrcorner",
2285
- "lstrip": false,
2286
- "normalized": true,
2287
- "rstrip": false,
2288
- "single_word": false,
2289
- "special": false
2290
- },
2291
- "30803": {
2292
- "content": "\\ltimes",
2293
- "lstrip": false,
2294
- "normalized": true,
2295
- "rstrip": false,
2296
- "single_word": false,
2297
- "special": false
2298
- },
2299
- "30804": {
2300
- "content": "\\lvert",
2301
- "lstrip": false,
2302
- "normalized": true,
2303
- "rstrip": false,
2304
- "single_word": false,
2305
- "special": false
2306
- },
2307
- "30805": {
2308
- "content": "\\mapsto",
2309
- "lstrip": false,
2310
- "normalized": true,
2311
- "rstrip": false,
2312
- "single_word": false,
2313
- "special": false
2314
- },
2315
- "30806": {
2316
- "content": "\\mapstoW",
2317
- "lstrip": false,
2318
- "normalized": true,
2319
- "rstrip": false,
2320
- "single_word": false,
2321
- "special": false
2322
- },
2323
- "30807": {
2324
- "content": "\\mathbb",
2325
- "lstrip": false,
2326
- "normalized": true,
2327
- "rstrip": false,
2328
- "single_word": false,
2329
- "special": false
2330
- },
2331
- "30808": {
2332
- "content": "\\mathbbR",
2333
- "lstrip": false,
2334
- "normalized": true,
2335
- "rstrip": false,
2336
- "single_word": false,
2337
- "special": false
2338
- },
2339
- "30809": {
2340
- "content": "\\mathbbZrank",
2341
- "lstrip": false,
2342
- "normalized": true,
2343
- "rstrip": false,
2344
- "single_word": false,
2345
- "special": false
2346
- },
2347
- "30810": {
2348
- "content": "\\mathbbZtakes",
2349
- "lstrip": false,
2350
- "normalized": true,
2351
- "rstrip": false,
2352
- "single_word": false,
2353
- "special": false
2354
- },
2355
- "30811": {
2356
- "content": "\\mathbbl",
2357
- "lstrip": false,
2358
- "normalized": true,
2359
- "rstrip": false,
2360
- "single_word": false,
2361
- "special": false
2362
- },
2363
- "30812": {
2364
- "content": "\\mathbf",
2365
- "lstrip": false,
2366
- "normalized": true,
2367
- "rstrip": false,
2368
- "single_word": false,
2369
- "special": false
2370
- },
2371
- "30813": {
2372
- "content": "\\mathcal",
2373
- "lstrip": false,
2374
- "normalized": true,
2375
- "rstrip": false,
2376
- "single_word": false,
2377
- "special": false
2378
- },
2379
- "30814": {
2380
- "content": "\\mathcalM",
2381
- "lstrip": false,
2382
- "normalized": true,
2383
- "rstrip": false,
2384
- "single_word": false,
2385
- "special": false
2386
- },
2387
- "30815": {
2388
- "content": "\\mathcalom",
2389
- "lstrip": false,
2390
- "normalized": true,
2391
- "rstrip": false,
2392
- "single_word": false,
2393
- "special": false
2394
- },
2395
- "30816": {
2396
- "content": "\\mathfrak",
2397
- "lstrip": false,
2398
- "normalized": true,
2399
- "rstrip": false,
2400
- "single_word": false,
2401
- "special": false
2402
- },
2403
- "30817": {
2404
- "content": "\\mathrm",
2405
- "lstrip": false,
2406
- "normalized": true,
2407
- "rstrip": false,
2408
- "single_word": false,
2409
- "special": false
2410
- },
2411
- "30818": {
2412
- "content": "\\mathscr",
2413
- "lstrip": false,
2414
- "normalized": true,
2415
- "rstrip": false,
2416
- "single_word": false,
2417
- "special": false
2418
- },
2419
- "30819": {
2420
- "content": "\\mathscrB",
2421
- "lstrip": false,
2422
- "normalized": true,
2423
- "rstrip": false,
2424
- "single_word": false,
2425
- "special": false
2426
- },
2427
- "30820": {
2428
- "content": "\\mathscrS",
2429
- "lstrip": false,
2430
- "normalized": true,
2431
- "rstrip": false,
2432
- "single_word": false,
2433
- "special": false
2434
- },
2435
- "30821": {
2436
- "content": "\\mathscrf",
2437
- "lstrip": false,
2438
- "normalized": true,
2439
- "rstrip": false,
2440
- "single_word": false,
2441
- "special": false
2442
- },
2443
- "30822": {
2444
- "content": "\\matshcr",
2445
- "lstrip": false,
2446
- "normalized": true,
2447
- "rstrip": false,
2448
- "single_word": false,
2449
- "special": false
2450
- },
2451
- "30823": {
2452
- "content": "\\max",
2453
- "lstrip": false,
2454
- "normalized": true,
2455
- "rstrip": false,
2456
- "single_word": false,
2457
- "special": false
2458
- },
2459
- "30824": {
2460
- "content": "\\measuredangle",
2461
- "lstrip": false,
2462
- "normalized": true,
2463
- "rstrip": false,
2464
- "single_word": false,
2465
- "special": false
2466
- },
2467
- "30825": {
2468
- "content": "\\mho",
2469
- "lstrip": false,
2470
- "normalized": true,
2471
- "rstrip": false,
2472
- "single_word": false,
2473
- "special": false
2474
- },
2475
- "30826": {
2476
- "content": "\\mid",
2477
- "lstrip": false,
2478
- "normalized": true,
2479
- "rstrip": false,
2480
- "single_word": false,
2481
- "special": false
2482
- },
2483
- "30827": {
2484
- "content": "\\min",
2485
- "lstrip": false,
2486
- "normalized": true,
2487
- "rstrip": false,
2488
- "single_word": false,
2489
- "special": false
2490
- },
2491
- "30828": {
2492
- "content": "\\models",
2493
- "lstrip": false,
2494
- "normalized": true,
2495
- "rstrip": false,
2496
- "single_word": false,
2497
- "special": false
2498
- },
2499
- "30829": {
2500
- "content": "\\mp",
2501
- "lstrip": false,
2502
- "normalized": true,
2503
- "rstrip": false,
2504
- "single_word": false,
2505
- "special": false
2506
- },
2507
- "30830": {
2508
- "content": "\\mu",
2509
- "lstrip": false,
2510
- "normalized": true,
2511
- "rstrip": false,
2512
- "single_word": false,
2513
- "special": false
2514
- },
2515
- "30831": {
2516
- "content": "\\mudominant",
2517
- "lstrip": false,
2518
- "normalized": true,
2519
- "rstrip": false,
2520
- "single_word": false,
2521
- "special": false
2522
- },
2523
- "30832": {
2524
- "content": "\\muexists",
2525
- "lstrip": false,
2526
- "normalized": true,
2527
- "rstrip": false,
2528
- "single_word": false,
2529
- "special": false
2530
- },
2531
- "30833": {
2532
- "content": "\\mufinite",
2533
- "lstrip": false,
2534
- "normalized": true,
2535
- "rstrip": false,
2536
- "single_word": false,
2537
- "special": false
2538
- },
2539
- "30834": {
2540
- "content": "\\multicolumn",
2541
- "lstrip": false,
2542
- "normalized": true,
2543
- "rstrip": false,
2544
- "single_word": false,
2545
- "special": false
2546
- },
2547
- "30835": {
2548
- "content": "\\multimap",
2549
- "lstrip": false,
2550
- "normalized": true,
2551
- "rstrip": false,
2552
- "single_word": false,
2553
- "special": false
2554
- },
2555
- "30836": {
2556
- "content": "\\multirow",
2557
- "lstrip": false,
2558
- "normalized": true,
2559
- "rstrip": false,
2560
- "single_word": false,
2561
- "special": false
2562
- },
2563
- "30837": {
2564
- "content": "\\n",
2565
- "lstrip": false,
2566
- "normalized": true,
2567
- "rstrip": false,
2568
- "single_word": false,
2569
- "special": false
2570
- },
2571
- "30838": {
2572
- "content": "\\nLeftarrow",
2573
- "lstrip": false,
2574
- "normalized": true,
2575
- "rstrip": false,
2576
- "single_word": false,
2577
- "special": false
2578
- },
2579
- "30839": {
2580
- "content": "\\nRightarrow",
2581
- "lstrip": false,
2582
- "normalized": true,
2583
- "rstrip": false,
2584
- "single_word": false,
2585
- "special": false
2586
- },
2587
- "30840": {
2588
- "content": "\\nVdash",
2589
- "lstrip": false,
2590
- "normalized": true,
2591
- "rstrip": false,
2592
- "single_word": false,
2593
- "special": false
2594
- },
2595
- "30841": {
2596
- "content": "\\nabla",
2597
- "lstrip": false,
2598
- "normalized": true,
2599
- "rstrip": false,
2600
- "single_word": false,
2601
- "special": false
2602
- },
2603
- "30842": {
2604
- "content": "\\natural",
2605
- "lstrip": false,
2606
- "normalized": true,
2607
- "rstrip": false,
2608
- "single_word": false,
2609
- "special": false
2610
- },
2611
- "30843": {
2612
- "content": "\\nearrow",
2613
- "lstrip": false,
2614
- "normalized": true,
2615
- "rstrip": false,
2616
- "single_word": false,
2617
- "special": false
2618
- },
2619
- "30844": {
2620
- "content": "\\neg",
2621
- "lstrip": false,
2622
- "normalized": true,
2623
- "rstrip": false,
2624
- "single_word": false,
2625
- "special": false
2626
- },
2627
- "30845": {
2628
- "content": "\\neq",
2629
- "lstrip": false,
2630
- "normalized": true,
2631
- "rstrip": false,
2632
- "single_word": false,
2633
- "special": false
2634
- },
2635
- "30846": {
2636
- "content": "\\neqId",
2637
- "lstrip": false,
2638
- "normalized": true,
2639
- "rstrip": false,
2640
- "single_word": false,
2641
- "special": false
2642
- },
2643
- "30847": {
2644
- "content": "\\neqid",
2645
- "lstrip": false,
2646
- "normalized": true,
2647
- "rstrip": false,
2648
- "single_word": false,
2649
- "special": false
2650
- },
2651
- "30848": {
2652
- "content": "\\nexists",
2653
- "lstrip": false,
2654
- "normalized": true,
2655
- "rstrip": false,
2656
- "single_word": false,
2657
- "special": false
2658
- },
2659
- "30849": {
2660
- "content": "\\ngtr",
2661
- "lstrip": false,
2662
- "normalized": true,
2663
- "rstrip": false,
2664
- "single_word": false,
2665
- "special": false
2666
- },
2667
- "30850": {
2668
- "content": "\\ni",
2669
- "lstrip": false,
2670
- "normalized": true,
2671
- "rstrip": false,
2672
- "single_word": false,
2673
- "special": false
2674
- },
2675
- "30851": {
2676
- "content": "\\nleftarrow",
2677
- "lstrip": false,
2678
- "normalized": true,
2679
- "rstrip": false,
2680
- "single_word": false,
2681
- "special": false
2682
- },
2683
- "30852": {
2684
- "content": "\\nless",
2685
- "lstrip": false,
2686
- "normalized": true,
2687
- "rstrip": false,
2688
- "single_word": false,
2689
- "special": false
2690
- },
2691
- "30853": {
2692
- "content": "\\nmid",
2693
- "lstrip": false,
2694
- "normalized": true,
2695
- "rstrip": false,
2696
- "single_word": false,
2697
- "special": false
2698
- },
2699
- "30854": {
2700
- "content": "\\nmidDisc",
2701
- "lstrip": false,
2702
- "normalized": true,
2703
- "rstrip": false,
2704
- "single_word": false,
2705
- "special": false
2706
- },
2707
- "30855": {
2708
- "content": "\\not",
2709
- "lstrip": false,
2710
- "normalized": true,
2711
- "rstrip": false,
2712
- "single_word": false,
2713
- "special": false
2714
- },
2715
- "30856": {
2716
- "content": "\\notin",
2717
- "lstrip": false,
2718
- "normalized": true,
2719
- "rstrip": false,
2720
- "single_word": false,
2721
- "special": false
2722
- },
2723
- "30857": {
2724
- "content": "\\nprec",
2725
- "lstrip": false,
2726
- "normalized": true,
2727
- "rstrip": false,
2728
- "single_word": false,
2729
- "special": false
2730
- },
2731
- "30858": {
2732
- "content": "\\npreceq",
2733
- "lstrip": false,
2734
- "normalized": true,
2735
- "rstrip": false,
2736
- "single_word": false,
2737
- "special": false
2738
- },
2739
- "30859": {
2740
- "content": "\\nrightarrow",
2741
- "lstrip": false,
2742
- "normalized": true,
2743
- "rstrip": false,
2744
- "single_word": false,
2745
- "special": false
2746
- },
2747
- "30860": {
2748
- "content": "\\nsim",
2749
- "lstrip": false,
2750
- "normalized": true,
2751
- "rstrip": false,
2752
- "single_word": false,
2753
- "special": false
2754
- },
2755
- "30861": {
2756
- "content": "\\nsubseteq",
2757
- "lstrip": false,
2758
- "normalized": true,
2759
- "rstrip": false,
2760
- "single_word": false,
2761
- "special": false
2762
- },
2763
- "30862": {
2764
- "content": "\\nsucc",
2765
- "lstrip": false,
2766
- "normalized": true,
2767
- "rstrip": false,
2768
- "single_word": false,
2769
- "special": false
2770
- },
2771
- "30863": {
2772
- "content": "\\nsucceq",
2773
- "lstrip": false,
2774
- "normalized": true,
2775
- "rstrip": false,
2776
- "single_word": false,
2777
- "special": false
2778
- },
2779
- "30864": {
2780
- "content": "\\nsupseteq",
2781
- "lstrip": false,
2782
- "normalized": true,
2783
- "rstrip": false,
2784
- "single_word": false,
2785
- "special": false
2786
- },
2787
- "30865": {
2788
- "content": "\\nu",
2789
- "lstrip": false,
2790
- "normalized": true,
2791
- "rstrip": false,
2792
- "single_word": false,
2793
- "special": false
2794
- },
2795
- "30866": {
2796
- "content": "\\nvdash",
2797
- "lstrip": false,
2798
- "normalized": true,
2799
- "rstrip": false,
2800
- "single_word": false,
2801
- "special": false
2802
- },
2803
- "30867": {
2804
- "content": "\\nwarrow",
2805
- "lstrip": false,
2806
- "normalized": true,
2807
- "rstrip": false,
2808
- "single_word": false,
2809
- "special": false
2810
- },
2811
- "30868": {
2812
- "content": "\\odot",
2813
- "lstrip": false,
2814
- "normalized": true,
2815
- "rstrip": false,
2816
- "single_word": false,
2817
- "special": false
2818
- },
2819
- "30869": {
2820
- "content": "\\oepratorname",
2821
- "lstrip": false,
2822
- "normalized": true,
2823
- "rstrip": false,
2824
- "single_word": false,
2825
- "special": false
2826
- },
2827
- "30870": {
2828
- "content": "\\oiiint",
2829
- "lstrip": false,
2830
- "normalized": true,
2831
- "rstrip": false,
2832
- "single_word": false,
2833
- "special": false
2834
- },
2835
- "30871": {
2836
- "content": "\\oiint",
2837
- "lstrip": false,
2838
- "normalized": true,
2839
- "rstrip": false,
2840
- "single_word": false,
2841
- "special": false
2842
- },
2843
- "30872": {
2844
- "content": "\\oint",
2845
- "lstrip": false,
2846
- "normalized": true,
2847
- "rstrip": false,
2848
- "single_word": false,
2849
- "special": false
2850
- },
2851
- "30873": {
2852
- "content": "\\omega",
2853
- "lstrip": false,
2854
- "normalized": true,
2855
- "rstrip": false,
2856
- "single_word": false,
2857
- "special": false
2858
- },
2859
- "30874": {
2860
- "content": "\\omegaest",
2861
- "lstrip": false,
2862
- "normalized": true,
2863
- "rstrip": false,
2864
- "single_word": false,
2865
- "special": false
2866
- },
2867
- "30875": {
2868
- "content": "\\ominus",
2869
- "lstrip": false,
2870
- "normalized": true,
2871
- "rstrip": false,
2872
- "single_word": false,
2873
- "special": false
2874
- },
2875
- "30876": {
2876
- "content": "\\operatorname",
2877
- "lstrip": false,
2878
- "normalized": true,
2879
- "rstrip": false,
2880
- "single_word": false,
2881
- "special": false
2882
- },
2883
- "30877": {
2884
- "content": "\\operatornamemap",
2885
- "lstrip": false,
2886
- "normalized": true,
2887
- "rstrip": false,
2888
- "single_word": false,
2889
- "special": false
2890
- },
2891
- "30878": {
2892
- "content": "\\oplus",
2893
- "lstrip": false,
2894
- "normalized": true,
2895
- "rstrip": false,
2896
- "single_word": false,
2897
- "special": false
2898
- },
2899
- "30879": {
2900
- "content": "\\oslash",
2901
- "lstrip": false,
2902
- "normalized": true,
2903
- "rstrip": false,
2904
- "single_word": false,
2905
- "special": false
2906
- },
2907
- "30880": {
2908
- "content": "\\otimes",
2909
- "lstrip": false,
2910
- "normalized": true,
2911
- "rstrip": false,
2912
- "single_word": false,
2913
- "special": false
2914
- },
2915
- "30881": {
2916
- "content": "\\otimese",
2917
- "lstrip": false,
2918
- "normalized": true,
2919
- "rstrip": false,
2920
- "single_word": false,
2921
- "special": false
2922
- },
2923
- "30882": {
2924
- "content": "\\overbrace",
2925
- "lstrip": false,
2926
- "normalized": true,
2927
- "rstrip": false,
2928
- "single_word": false,
2929
- "special": false
2930
- },
2931
- "30883": {
2932
- "content": "\\overleftarrow",
2933
- "lstrip": false,
2934
- "normalized": true,
2935
- "rstrip": false,
2936
- "single_word": false,
2937
- "special": false
2938
- },
2939
- "30884": {
2940
- "content": "\\overleftrightarrow",
2941
- "lstrip": false,
2942
- "normalized": true,
2943
- "rstrip": false,
2944
- "single_word": false,
2945
- "special": false
2946
- },
2947
- "30885": {
2948
- "content": "\\overlin",
2949
- "lstrip": false,
2950
- "normalized": true,
2951
- "rstrip": false,
2952
- "single_word": false,
2953
- "special": false
2954
- },
2955
- "30886": {
2956
- "content": "\\overline",
2957
- "lstrip": false,
2958
- "normalized": true,
2959
- "rstrip": false,
2960
- "single_word": false,
2961
- "special": false
2962
- },
2963
- "30887": {
2964
- "content": "\\overparen",
2965
- "lstrip": false,
2966
- "normalized": true,
2967
- "rstrip": false,
2968
- "single_word": false,
2969
- "special": false
2970
- },
2971
- "30888": {
2972
- "content": "\\overrightarrow",
2973
- "lstrip": false,
2974
- "normalized": true,
2975
- "rstrip": false,
2976
- "single_word": false,
2977
- "special": false
2978
- },
2979
- "30889": {
2980
- "content": "\\p",
2981
- "lstrip": false,
2982
- "normalized": true,
2983
- "rstrip": false,
2984
- "single_word": false,
2985
- "special": false
2986
- },
2987
- "30890": {
2988
- "content": "\\parallel",
2989
- "lstrip": false,
2990
- "normalized": true,
2991
- "rstrip": false,
2992
- "single_word": false,
2993
- "special": false
2994
- },
2995
- "30891": {
2996
- "content": "\\partial",
2997
- "lstrip": false,
2998
- "normalized": true,
2999
- "rstrip": false,
3000
- "single_word": false,
3001
- "special": false
3002
- },
3003
- "30892": {
3004
- "content": "\\partialM",
3005
- "lstrip": false,
3006
- "normalized": true,
3007
- "rstrip": false,
3008
- "single_word": false,
3009
- "special": false
3010
- },
3011
- "30893": {
3012
- "content": "\\partiala",
3013
- "lstrip": false,
3014
- "normalized": true,
3015
- "rstrip": false,
3016
- "single_word": false,
3017
- "special": false
3018
- },
3019
- "30894": {
3020
- "content": "\\partialb",
3021
- "lstrip": false,
3022
- "normalized": true,
3023
- "rstrip": false,
3024
- "single_word": false,
3025
- "special": false
3026
- },
3027
- "30895": {
3028
- "content": "\\perp",
3029
- "lstrip": false,
3030
- "normalized": true,
3031
- "rstrip": false,
3032
- "single_word": false,
3033
- "special": false
3034
- },
3035
- "30896": {
3036
- "content": "\\phi",
3037
- "lstrip": false,
3038
- "normalized": true,
3039
- "rstrip": false,
3040
- "single_word": false,
3041
- "special": false
3042
- },
3043
- "30897": {
3044
- "content": "\\phicommute",
3045
- "lstrip": false,
3046
- "normalized": true,
3047
- "rstrip": false,
3048
- "single_word": false,
3049
- "special": false
3050
- },
3051
- "30898": {
3052
- "content": "\\pi",
3053
- "lstrip": false,
3054
- "normalized": true,
3055
- "rstrip": false,
3056
- "single_word": false,
3057
- "special": false
3058
- },
3059
- "30899": {
3060
- "content": "\\pifinite",
3061
- "lstrip": false,
3062
- "normalized": true,
3063
- "rstrip": false,
3064
- "single_word": false,
3065
- "special": false
3066
- },
3067
- "30900": {
3068
- "content": "\\pitchfork",
3069
- "lstrip": false,
3070
- "normalized": true,
3071
- "rstrip": false,
3072
- "single_word": false,
3073
- "special": false
3074
- },
3075
- "30901": {
3076
- "content": "\\pitwist",
3077
- "lstrip": false,
3078
- "normalized": true,
3079
- "rstrip": false,
3080
- "single_word": false,
3081
- "special": false
3082
- },
3083
- "30902": {
3084
- "content": "\\pm",
3085
- "lstrip": false,
3086
- "normalized": true,
3087
- "rstrip": false,
3088
- "single_word": false,
3089
- "special": false
3090
- },
3091
- "30903": {
3092
- "content": "\\prec",
3093
- "lstrip": false,
3094
- "normalized": true,
3095
- "rstrip": false,
3096
- "single_word": false,
3097
- "special": false
3098
- },
3099
- "30904": {
3100
- "content": "\\preccurlyeq",
3101
- "lstrip": false,
3102
- "normalized": true,
3103
- "rstrip": false,
3104
- "single_word": false,
3105
- "special": false
3106
- },
3107
- "30905": {
3108
- "content": "\\preceq",
3109
- "lstrip": false,
3110
- "normalized": true,
3111
- "rstrip": false,
3112
- "single_word": false,
3113
- "special": false
3114
- },
3115
- "30906": {
3116
- "content": "\\precsim",
3117
- "lstrip": false,
3118
- "normalized": true,
3119
- "rstrip": false,
3120
- "single_word": false,
3121
- "special": false
3122
- },
3123
- "30907": {
3124
- "content": "\\prime",
3125
- "lstrip": false,
3126
- "normalized": true,
3127
- "rstrip": false,
3128
- "single_word": false,
3129
- "special": false
3130
- },
3131
- "30908": {
3132
- "content": "\\prod",
3133
- "lstrip": false,
3134
- "normalized": true,
3135
- "rstrip": false,
3136
- "single_word": false,
3137
- "special": false
3138
- },
3139
- "30909": {
3140
- "content": "\\propto",
3141
- "lstrip": false,
3142
- "normalized": true,
3143
- "rstrip": false,
3144
- "single_word": false,
3145
- "special": false
3146
- },
3147
- "30910": {
3148
- "content": "\\psi",
3149
- "lstrip": false,
3150
- "normalized": true,
3151
- "rstrip": false,
3152
- "single_word": false,
3153
- "special": false
3154
- },
3155
- "30911": {
3156
- "content": "\\psidoes",
3157
- "lstrip": false,
3158
- "normalized": true,
3159
- "rstrip": false,
3160
- "single_word": false,
3161
- "special": false
3162
- },
3163
- "30912": {
3164
- "content": "\\qquad",
3165
- "lstrip": false,
3166
- "normalized": true,
3167
- "rstrip": false,
3168
- "single_word": false,
3169
- "special": false
3170
- },
3171
- "30913": {
3172
- "content": "\\qua",
3173
- "lstrip": false,
3174
- "normalized": true,
3175
- "rstrip": false,
3176
- "single_word": false,
3177
- "special": false
3178
- },
3179
- "30914": {
3180
- "content": "\\quad",
3181
- "lstrip": false,
3182
- "normalized": true,
3183
- "rstrip": false,
3184
- "single_word": false,
3185
- "special": false
3186
- },
3187
- "30915": {
3188
- "content": "\\quada",
3189
- "lstrip": false,
3190
- "normalized": true,
3191
- "rstrip": false,
3192
- "single_word": false,
3193
- "special": false
3194
- },
3195
- "30916": {
3196
- "content": "\\rangle",
3197
- "lstrip": false,
3198
- "normalized": true,
3199
- "rstrip": false,
3200
- "single_word": false,
3201
- "special": false
3202
- },
3203
- "30917": {
3204
- "content": "\\rceil",
3205
- "lstrip": false,
3206
- "normalized": true,
3207
- "rstrip": false,
3208
- "single_word": false,
3209
- "special": false
3210
- },
3211
- "30918": {
3212
- "content": "\\rfloor",
3213
- "lstrip": false,
3214
- "normalized": true,
3215
- "rstrip": false,
3216
- "single_word": false,
3217
- "special": false
3218
- },
3219
- "30919": {
3220
- "content": "\\rho",
3221
- "lstrip": false,
3222
- "normalized": true,
3223
- "rstrip": false,
3224
- "single_word": false,
3225
- "special": false
3226
- },
3227
- "30920": {
3228
- "content": "\\rhofollows",
3229
- "lstrip": false,
3230
- "normalized": true,
3231
- "rstrip": false,
3232
- "single_word": false,
3233
- "special": false
3234
- },
3235
- "30921": {
3236
- "content": "\\rhooperator",
3237
- "lstrip": false,
3238
- "normalized": true,
3239
- "rstrip": false,
3240
- "single_word": false,
3241
- "special": false
3242
- },
3243
- "30922": {
3244
- "content": "\\right",
3245
- "lstrip": false,
3246
- "normalized": true,
3247
- "rstrip": false,
3248
- "single_word": false,
3249
- "special": false
3250
- },
3251
- "30923": {
3252
- "content": "\\rightarrowA",
3253
- "lstrip": false,
3254
- "normalized": true,
3255
- "rstrip": false,
3256
- "single_word": false,
3257
- "special": false
3258
- },
3259
- "30924": {
3260
- "content": "\\rightarrowC",
3261
- "lstrip": false,
3262
- "normalized": true,
3263
- "rstrip": false,
3264
- "single_word": false,
3265
- "special": false
3266
- },
3267
- "30925": {
3268
- "content": "\\rightarrowFinord",
3269
- "lstrip": false,
3270
- "normalized": true,
3271
- "rstrip": false,
3272
- "single_word": false,
3273
- "special": false
3274
- },
3275
- "30926": {
3276
- "content": "\\rightarrowSet",
3277
- "lstrip": false,
3278
- "normalized": true,
3279
- "rstrip": false,
3280
- "single_word": false,
3281
- "special": false
3282
- },
3283
- "30927": {
3284
- "content": "\\rightarrowSets",
3285
- "lstrip": false,
3286
- "normalized": true,
3287
- "rstrip": false,
3288
- "single_word": false,
3289
- "special": false
3290
- },
3291
- "30928": {
3292
- "content": "\\rightarrowf",
3293
- "lstrip": false,
3294
- "normalized": true,
3295
- "rstrip": false,
3296
- "single_word": false,
3297
- "special": false
3298
- },
3299
- "30929": {
3300
- "content": "\\rightharpoonup",
3301
- "lstrip": false,
3302
- "normalized": true,
3303
- "rstrip": false,
3304
- "single_word": false,
3305
- "special": false
3306
- },
3307
- "30930": {
3308
- "content": "\\rightleftarrows",
3309
- "lstrip": false,
3310
- "normalized": true,
3311
- "rstrip": false,
3312
- "single_word": false,
3313
- "special": false
3314
- },
3315
- "30931": {
3316
- "content": "\\rightleftharpoons",
3317
- "lstrip": false,
3318
- "normalized": true,
3319
- "rstrip": false,
3320
- "single_word": false,
3321
- "special": false
3322
- },
3323
- "30932": {
3324
- "content": "\\rightrightarrows",
3325
- "lstrip": false,
3326
- "normalized": true,
3327
- "rstrip": false,
3328
- "single_word": false,
3329
- "special": false
3330
- },
3331
- "30933": {
3332
- "content": "\\rightsquigarrow",
3333
- "lstrip": false,
3334
- "normalized": true,
3335
- "rstrip": false,
3336
- "single_word": false,
3337
- "special": false
3338
- },
3339
- "30934": {
3340
- "content": "\\risingdotseq",
3341
- "lstrip": false,
3342
- "normalized": true,
3343
- "rstrip": false,
3344
- "single_word": false,
3345
- "special": false
3346
- },
3347
- "30935": {
3348
- "content": "\\rrbracket",
3349
- "lstrip": false,
3350
- "normalized": true,
3351
- "rstrip": false,
3352
- "single_word": false,
3353
- "special": false
3354
- },
3355
- "30936": {
3356
- "content": "\\rtimes",
3357
- "lstrip": false,
3358
- "normalized": true,
3359
- "rstrip": false,
3360
- "single_word": false,
3361
- "special": false
3362
- },
3363
- "30937": {
3364
- "content": "\\rvert",
3365
- "lstrip": false,
3366
- "normalized": true,
3367
- "rstrip": false,
3368
- "single_word": false,
3369
- "special": false
3370
- },
3371
- "30938": {
3372
- "content": "\\searrow",
3373
- "lstrip": false,
3374
- "normalized": true,
3375
- "rstrip": false,
3376
- "single_word": false,
3377
- "special": false
3378
- },
3379
- "30939": {
3380
- "content": "\\sec",
3381
- "lstrip": false,
3382
- "normalized": true,
3383
- "rstrip": false,
3384
- "single_word": false,
3385
- "special": false
3386
- },
3387
- "30940": {
3388
- "content": "\\section",
3389
- "lstrip": false,
3390
- "normalized": true,
3391
- "rstrip": false,
3392
- "single_word": false,
3393
- "special": false
3394
- },
3395
- "30941": {
3396
- "content": "\\setminus",
3397
- "lstrip": false,
3398
- "normalized": true,
3399
- "rstrip": false,
3400
- "single_word": false,
3401
- "special": false
3402
- },
3403
- "30942": {
3404
- "content": "\\sharp",
3405
- "lstrip": false,
3406
- "normalized": true,
3407
- "rstrip": false,
3408
- "single_word": false,
3409
- "special": false
3410
- },
3411
- "30943": {
3412
- "content": "\\sigma",
3413
- "lstrip": false,
3414
- "normalized": true,
3415
- "rstrip": false,
3416
- "single_word": false,
3417
- "special": false
3418
- },
3419
- "30944": {
3420
- "content": "\\sim",
3421
- "lstrip": false,
3422
- "normalized": true,
3423
- "rstrip": false,
3424
- "single_word": false,
3425
- "special": false
3426
- },
3427
- "30945": {
3428
- "content": "\\simeq",
3429
- "lstrip": false,
3430
- "normalized": true,
3431
- "rstrip": false,
3432
- "single_word": false,
3433
- "special": false
3434
- },
3435
- "30946": {
3436
- "content": "\\simeqid",
3437
- "lstrip": false,
3438
- "normalized": true,
3439
- "rstrip": false,
3440
- "single_word": false,
3441
- "special": false
3442
- },
3443
- "30947": {
3444
- "content": "\\simr",
3445
- "lstrip": false,
3446
- "normalized": true,
3447
- "rstrip": false,
3448
- "single_word": false,
3449
- "special": false
3450
- },
3451
- "30948": {
3452
- "content": "\\sin",
3453
- "lstrip": false,
3454
- "normalized": true,
3455
- "rstrip": false,
3456
- "single_word": false,
3457
- "special": false
3458
- },
3459
- "30949": {
3460
- "content": "\\sinh",
3461
- "lstrip": false,
3462
- "normalized": true,
3463
- "rstrip": false,
3464
- "single_word": false,
3465
- "special": false
3466
- },
3467
- "30950": {
3468
- "content": "\\smile",
3469
- "lstrip": false,
3470
- "normalized": true,
3471
- "rstrip": false,
3472
- "single_word": false,
3473
- "special": false
3474
- },
3475
- "30951": {
3476
- "content": "\\sqcap",
3477
- "lstrip": false,
3478
- "normalized": true,
3479
- "rstrip": false,
3480
- "single_word": false,
3481
- "special": false
3482
- },
3483
- "30952": {
3484
- "content": "\\sqcup",
3485
- "lstrip": false,
3486
- "normalized": true,
3487
- "rstrip": false,
3488
- "single_word": false,
3489
- "special": false
3490
- },
3491
- "30953": {
3492
- "content": "\\sqrt",
3493
- "lstrip": false,
3494
- "normalized": true,
3495
- "rstrip": false,
3496
- "single_word": false,
3497
- "special": false
3498
- },
3499
- "30954": {
3500
- "content": "\\sqsubset",
3501
- "lstrip": false,
3502
- "normalized": true,
3503
- "rstrip": false,
3504
- "single_word": false,
3505
- "special": false
3506
- },
3507
- "30955": {
3508
- "content": "\\sqsubseteq",
3509
- "lstrip": false,
3510
- "normalized": true,
3511
- "rstrip": false,
3512
- "single_word": false,
3513
- "special": false
3514
- },
3515
- "30956": {
3516
- "content": "\\sqsupset",
3517
- "lstrip": false,
3518
- "normalized": true,
3519
- "rstrip": false,
3520
- "single_word": false,
3521
- "special": false
3522
- },
3523
- "30957": {
3524
- "content": "\\sqsupseteq",
3525
- "lstrip": false,
3526
- "normalized": true,
3527
- "rstrip": false,
3528
- "single_word": false,
3529
- "special": false
3530
- },
3531
- "30958": {
3532
- "content": "\\square",
3533
- "lstrip": false,
3534
- "normalized": true,
3535
- "rstrip": false,
3536
- "single_word": false,
3537
- "special": false
3538
- },
3539
- "30959": {
3540
- "content": "\\stackrel",
3541
- "lstrip": false,
3542
- "normalized": true,
3543
- "rstrip": false,
3544
- "single_word": false,
3545
- "special": false
3546
- },
3547
- "30960": {
3548
- "content": "\\star",
3549
- "lstrip": false,
3550
- "normalized": true,
3551
- "rstrip": false,
3552
- "single_word": false,
3553
- "special": false
3554
- },
3555
- "30961": {
3556
- "content": "\\starEXERCISE",
3557
- "lstrip": false,
3558
- "normalized": true,
3559
- "rstrip": false,
3560
- "single_word": false,
3561
- "special": false
3562
- },
3563
- "30962": {
3564
- "content": "\\subsection",
3565
- "lstrip": false,
3566
- "normalized": true,
3567
- "rstrip": false,
3568
- "single_word": false,
3569
- "special": false
3570
- },
3571
- "30963": {
3572
- "content": "\\subset",
3573
- "lstrip": false,
3574
- "normalized": true,
3575
- "rstrip": false,
3576
- "single_word": false,
3577
- "special": false
3578
- },
3579
- "30964": {
3580
- "content": "\\subsetA",
3581
- "lstrip": false,
3582
- "normalized": true,
3583
- "rstrip": false,
3584
- "single_word": false,
3585
- "special": false
3586
- },
3587
- "30965": {
3588
- "content": "\\subsetM",
3589
- "lstrip": false,
3590
- "normalized": true,
3591
- "rstrip": false,
3592
- "single_word": false,
3593
- "special": false
3594
- },
3595
- "30966": {
3596
- "content": "\\subseteq",
3597
- "lstrip": false,
3598
- "normalized": true,
3599
- "rstrip": false,
3600
- "single_word": false,
3601
- "special": false
3602
- },
3603
- "30967": {
3604
- "content": "\\subseteqW",
3605
- "lstrip": false,
3606
- "normalized": true,
3607
- "rstrip": false,
3608
- "single_word": false,
3609
- "special": false
3610
- },
3611
- "30968": {
3612
- "content": "\\subsetneq",
3613
- "lstrip": false,
3614
- "normalized": true,
3615
- "rstrip": false,
3616
- "single_word": false,
3617
- "special": false
3618
- },
3619
- "30969": {
3620
- "content": "\\substack",
3621
- "lstrip": false,
3622
- "normalized": true,
3623
- "rstrip": false,
3624
- "single_word": false,
3625
- "special": false
3626
- },
3627
- "30970": {
3628
- "content": "\\subsubsection",
3629
- "lstrip": false,
3630
- "normalized": true,
3631
- "rstrip": false,
3632
- "single_word": false,
3633
- "special": false
3634
- },
3635
- "30971": {
3636
- "content": "\\succ",
3637
- "lstrip": false,
3638
- "normalized": true,
3639
- "rstrip": false,
3640
- "single_word": false,
3641
- "special": false
3642
- },
3643
- "30972": {
3644
- "content": "\\succcurlyeq",
3645
- "lstrip": false,
3646
- "normalized": true,
3647
- "rstrip": false,
3648
- "single_word": false,
3649
- "special": false
3650
- },
3651
- "30973": {
3652
- "content": "\\succeq",
3653
- "lstrip": false,
3654
- "normalized": true,
3655
- "rstrip": false,
3656
- "single_word": false,
3657
- "special": false
3658
- },
3659
- "30974": {
3660
- "content": "\\succsim",
3661
- "lstrip": false,
3662
- "normalized": true,
3663
- "rstrip": false,
3664
- "single_word": false,
3665
- "special": false
3666
- },
3667
- "30975": {
3668
- "content": "\\sum",
3669
- "lstrip": false,
3670
- "normalized": true,
3671
- "rstrip": false,
3672
- "single_word": false,
3673
- "special": false
3674
- },
3675
- "30976": {
3676
- "content": "\\sup",
3677
- "lstrip": false,
3678
- "normalized": true,
3679
- "rstrip": false,
3680
- "single_word": false,
3681
- "special": false
3682
- },
3683
- "30977": {
3684
- "content": "\\supset",
3685
- "lstrip": false,
3686
- "normalized": true,
3687
- "rstrip": false,
3688
- "single_word": false,
3689
- "special": false
3690
- },
3691
- "30978": {
3692
- "content": "\\supseteq",
3693
- "lstrip": false,
3694
- "normalized": true,
3695
- "rstrip": false,
3696
- "single_word": false,
3697
- "special": false
3698
- },
3699
- "30979": {
3700
- "content": "\\supseteqq",
3701
- "lstrip": false,
3702
- "normalized": true,
3703
- "rstrip": false,
3704
- "single_word": false,
3705
- "special": false
3706
- },
3707
- "30980": {
3708
- "content": "\\supsetneq",
3709
- "lstrip": false,
3710
- "normalized": true,
3711
- "rstrip": false,
3712
- "single_word": false,
3713
- "special": false
3714
- },
3715
- "30981": {
3716
- "content": "\\supsetneqq",
3717
- "lstrip": false,
3718
- "normalized": true,
3719
- "rstrip": false,
3720
- "single_word": false,
3721
- "special": false
3722
- },
3723
- "30982": {
3724
- "content": "\\swarrow",
3725
- "lstrip": false,
3726
- "normalized": true,
3727
- "rstrip": false,
3728
- "single_word": false,
3729
- "special": false
3730
- },
3731
- "30983": {
3732
- "content": "\\tag",
3733
- "lstrip": false,
3734
- "normalized": true,
3735
- "rstrip": false,
3736
- "single_word": false,
3737
- "special": false
3738
- },
3739
- "30984": {
3740
- "content": "\\tan",
3741
- "lstrip": false,
3742
- "normalized": true,
3743
- "rstrip": false,
3744
- "single_word": false,
3745
- "special": false
3746
- },
3747
- "30985": {
3748
- "content": "\\tanh",
3749
- "lstrip": false,
3750
- "normalized": true,
3751
- "rstrip": false,
3752
- "single_word": false,
3753
- "special": false
3754
- },
3755
- "30986": {
3756
- "content": "\\tau",
3757
- "lstrip": false,
3758
- "normalized": true,
3759
- "rstrip": false,
3760
- "single_word": false,
3761
- "special": false
3762
- },
3763
- "30987": {
3764
- "content": "\\taualent",
3765
- "lstrip": false,
3766
- "normalized": true,
3767
- "rstrip": false,
3768
- "single_word": false,
3769
- "special": false
3770
- },
3771
- "30988": {
3772
- "content": "\\tauariety",
3773
- "lstrip": false,
3774
- "normalized": true,
3775
- "rstrip": false,
3776
- "single_word": false,
3777
- "special": false
3778
- },
3779
- "30989": {
3780
- "content": "\\tauphism",
3781
- "lstrip": false,
3782
- "normalized": true,
3783
- "rstrip": false,
3784
- "single_word": false,
3785
- "special": false
3786
- },
3787
- "30990": {
3788
- "content": "\\tauphistn",
3789
- "lstrip": false,
3790
- "normalized": true,
3791
- "rstrip": false,
3792
- "single_word": false,
3793
- "special": false
3794
- },
3795
- "30991": {
3796
- "content": "\\taupure",
3797
- "lstrip": false,
3798
- "normalized": true,
3799
- "rstrip": false,
3800
- "single_word": false,
3801
- "special": false
3802
- },
3803
- "30992": {
3804
- "content": "\\text",
3805
- "lstrip": false,
3806
- "normalized": true,
3807
- "rstrip": false,
3808
- "single_word": false,
3809
- "special": false
3810
- },
3811
- "30993": {
3812
- "content": "\\textbf",
3813
- "lstrip": false,
3814
- "normalized": true,
3815
- "rstrip": false,
3816
- "single_word": false,
3817
- "special": false
3818
- },
3819
- "30994": {
3820
- "content": "\\textrm",
3821
- "lstrip": false,
3822
- "normalized": true,
3823
- "rstrip": false,
3824
- "single_word": false,
3825
- "special": false
3826
- },
3827
- "30995": {
3828
- "content": "\\textrmK",
3829
- "lstrip": false,
3830
- "normalized": true,
3831
- "rstrip": false,
3832
- "single_word": false,
3833
- "special": false
3834
- },
3835
- "30996": {
3836
- "content": "\\therefore",
3837
- "lstrip": false,
3838
- "normalized": true,
3839
- "rstrip": false,
3840
- "single_word": false,
3841
- "special": false
3842
- },
3843
- "30997": {
3844
- "content": "\\theta",
3845
- "lstrip": false,
3846
- "normalized": true,
3847
- "rstrip": false,
3848
- "single_word": false,
3849
- "special": false
3850
- },
3851
- "30998": {
3852
- "content": "\\thetaalone",
3853
- "lstrip": false,
3854
- "normalized": true,
3855
- "rstrip": false,
3856
- "single_word": false,
3857
- "special": false
3858
- },
3859
- "30999": {
3860
- "content": "\\thetaexplicit",
3861
- "lstrip": false,
3862
- "normalized": true,
3863
- "rstrip": false,
3864
- "single_word": false,
3865
- "special": false
3866
- },
3867
- "31000": {
3868
- "content": "\\thetaworks",
3869
- "lstrip": false,
3870
- "normalized": true,
3871
- "rstrip": false,
3872
- "single_word": false,
3873
- "special": false
3874
- },
3875
- "31001": {
3876
- "content": "\\tilde",
3877
- "lstrip": false,
3878
- "normalized": true,
3879
- "rstrip": false,
3880
- "single_word": false,
3881
- "special": false
3882
- },
3883
- "31002": {
3884
- "content": "\\times",
3885
- "lstrip": false,
3886
- "normalized": true,
3887
- "rstrip": false,
3888
- "single_word": false,
3889
- "special": false
3890
- },
3891
- "31003": {
3892
- "content": "\\timesm",
3893
- "lstrip": false,
3894
- "normalized": true,
3895
- "rstrip": false,
3896
- "single_word": false,
3897
- "special": false
3898
- },
3899
- "31004": {
3900
- "content": "\\top",
3901
- "lstrip": false,
3902
- "normalized": true,
3903
- "rstrip": false,
3904
- "single_word": false,
3905
- "special": false
3906
- },
3907
- "31005": {
3908
- "content": "\\triangle",
3909
- "lstrip": false,
3910
- "normalized": true,
3911
- "rstrip": false,
3912
- "single_word": false,
3913
- "special": false
3914
- },
3915
- "31006": {
3916
- "content": "\\triangleleft",
3917
- "lstrip": false,
3918
- "normalized": true,
3919
- "rstrip": false,
3920
- "single_word": false,
3921
- "special": false
3922
- },
3923
- "31007": {
3924
- "content": "\\triangleq",
3925
- "lstrip": false,
3926
- "normalized": true,
3927
- "rstrip": false,
3928
- "single_word": false,
3929
- "special": false
3930
- },
3931
- "31008": {
3932
- "content": "\\triangleright",
3933
- "lstrip": false,
3934
- "normalized": true,
3935
- "rstrip": false,
3936
- "single_word": false,
3937
- "special": false
3938
- },
3939
- "31009": {
3940
- "content": "\\ulcorner",
3941
- "lstrip": false,
3942
- "normalized": true,
3943
- "rstrip": false,
3944
- "single_word": false,
3945
- "special": false
3946
- },
3947
- "31010": {
3948
- "content": "\\underbrace",
3949
- "lstrip": false,
3950
- "normalized": true,
3951
- "rstrip": false,
3952
- "single_word": false,
3953
- "special": false
3954
- },
3955
- "31011": {
3956
- "content": "\\underline",
3957
- "lstrip": false,
3958
- "normalized": true,
3959
- "rstrip": false,
3960
- "single_word": false,
3961
- "special": false
3962
- },
3963
- "31012": {
3964
- "content": "\\underset",
3965
- "lstrip": false,
3966
- "normalized": true,
3967
- "rstrip": false,
3968
- "single_word": false,
3969
- "special": false
3970
- },
3971
- "31013": {
3972
- "content": "\\unlhd",
3973
- "lstrip": false,
3974
- "normalized": true,
3975
- "rstrip": false,
3976
- "single_word": false,
3977
- "special": false
3978
- },
3979
- "31014": {
3980
- "content": "\\unrhd",
3981
- "lstrip": false,
3982
- "normalized": true,
3983
- "rstrip": false,
3984
- "single_word": false,
3985
- "special": false
3986
- },
3987
- "31015": {
3988
- "content": "\\uparrow",
3989
- "lstrip": false,
3990
- "normalized": true,
3991
- "rstrip": false,
3992
- "single_word": false,
3993
- "special": false
3994
- },
3995
- "31016": {
3996
- "content": "\\upharpoonleft",
3997
- "lstrip": false,
3998
- "normalized": true,
3999
- "rstrip": false,
4000
- "single_word": false,
4001
- "special": false
4002
- },
4003
- "31017": {
4004
- "content": "\\upharpoonright",
4005
- "lstrip": false,
4006
- "normalized": true,
4007
- "rstrip": false,
4008
- "single_word": false,
4009
- "special": false
4010
- },
4011
- "31018": {
4012
- "content": "\\uplus",
4013
- "lstrip": false,
4014
- "normalized": true,
4015
- "rstrip": false,
4016
- "single_word": false,
4017
- "special": false
4018
- },
4019
- "31019": {
4020
- "content": "\\urcorner",
4021
- "lstrip": false,
4022
- "normalized": true,
4023
- "rstrip": false,
4024
- "single_word": false,
4025
- "special": false
4026
- },
4027
- "31020": {
4028
- "content": "\\vDash",
4029
- "lstrip": false,
4030
- "normalized": true,
4031
- "rstrip": false,
4032
- "single_word": false,
4033
- "special": false
4034
- },
4035
- "31021": {
4036
- "content": "\\varangle",
4037
- "lstrip": false,
4038
- "normalized": true,
4039
- "rstrip": false,
4040
- "single_word": false,
4041
- "special": false
4042
- },
4043
- "31022": {
4044
- "content": "\\varepsilon",
4045
- "lstrip": false,
4046
- "normalized": true,
4047
- "rstrip": false,
4048
- "single_word": false,
4049
- "special": false
4050
- },
4051
- "31023": {
4052
- "content": "\\varepsilona",
4053
- "lstrip": false,
4054
- "normalized": true,
4055
- "rstrip": false,
4056
- "single_word": false,
4057
- "special": false
4058
- },
4059
- "31024": {
4060
- "content": "\\varepsilonarrow",
4061
- "lstrip": false,
4062
- "normalized": true,
4063
- "rstrip": false,
4064
- "single_word": false,
4065
- "special": false
4066
- },
4067
- "31025": {
4068
- "content": "\\varepsilonarrows",
4069
- "lstrip": false,
4070
- "normalized": true,
4071
- "rstrip": false,
4072
- "single_word": false,
4073
- "special": false
4074
- },
4075
- "31026": {
4076
- "content": "\\varinjlim",
4077
- "lstrip": false,
4078
- "normalized": true,
4079
- "rstrip": false,
4080
- "single_word": false,
4081
- "special": false
4082
- },
4083
- "31027": {
4084
- "content": "\\varkappa",
4085
- "lstrip": false,
4086
- "normalized": true,
4087
- "rstrip": false,
4088
- "single_word": false,
4089
- "special": false
4090
- },
4091
- "31028": {
4092
- "content": "\\varliminf",
4093
- "lstrip": false,
4094
- "normalized": true,
4095
- "rstrip": false,
4096
- "single_word": false,
4097
- "special": false
4098
- },
4099
- "31029": {
4100
- "content": "\\varlimsup",
4101
- "lstrip": false,
4102
- "normalized": true,
4103
- "rstrip": false,
4104
- "single_word": false,
4105
- "special": false
4106
- },
4107
- "31030": {
4108
- "content": "\\varnothing",
4109
- "lstrip": false,
4110
- "normalized": true,
4111
- "rstrip": false,
4112
- "single_word": false,
4113
- "special": false
4114
- },
4115
- "31031": {
4116
- "content": "\\varphi",
4117
- "lstrip": false,
4118
- "normalized": true,
4119
- "rstrip": false,
4120
- "single_word": false,
4121
- "special": false
4122
- },
4123
- "31032": {
4124
- "content": "\\varphiare",
4125
- "lstrip": false,
4126
- "normalized": true,
4127
- "rstrip": false,
4128
- "single_word": false,
4129
- "special": false
4130
- },
4131
- "31033": {
4132
- "content": "\\varphiitself",
4133
- "lstrip": false,
4134
- "normalized": true,
4135
- "rstrip": false,
4136
- "single_word": false,
4137
- "special": false
4138
- },
4139
- "31034": {
4140
- "content": "\\varphiw",
4141
- "lstrip": false,
4142
- "normalized": true,
4143
- "rstrip": false,
4144
- "single_word": false,
4145
- "special": false
4146
- },
4147
- "31035": {
4148
- "content": "\\varpi",
4149
- "lstrip": false,
4150
- "normalized": true,
4151
- "rstrip": false,
4152
- "single_word": false,
4153
- "special": false
4154
- },
4155
- "31036": {
4156
- "content": "\\varprojlim",
4157
- "lstrip": false,
4158
- "normalized": true,
4159
- "rstrip": false,
4160
- "single_word": false,
4161
- "special": false
4162
- },
4163
- "31037": {
4164
- "content": "\\varrho",
4165
- "lstrip": false,
4166
- "normalized": true,
4167
- "rstrip": false,
4168
- "single_word": false,
4169
- "special": false
4170
- },
4171
- "31038": {
4172
- "content": "\\varsigma",
4173
- "lstrip": false,
4174
- "normalized": true,
4175
- "rstrip": false,
4176
- "single_word": false,
4177
- "special": false
4178
- },
4179
- "31039": {
4180
- "content": "\\varsubsetneqq",
4181
- "lstrip": false,
4182
- "normalized": true,
4183
- "rstrip": false,
4184
- "single_word": false,
4185
- "special": false
4186
- },
4187
- "31040": {
4188
- "content": "\\vartheta",
4189
- "lstrip": false,
4190
- "normalized": true,
4191
- "rstrip": false,
4192
- "single_word": false,
4193
- "special": false
4194
- },
4195
- "31041": {
4196
- "content": "\\varthetaa",
4197
- "lstrip": false,
4198
- "normalized": true,
4199
- "rstrip": false,
4200
- "single_word": false,
4201
- "special": false
4202
- },
4203
- "31042": {
4204
- "content": "\\vdash",
4205
- "lstrip": false,
4206
- "normalized": true,
4207
- "rstrip": false,
4208
- "single_word": false,
4209
- "special": false
4210
- },
4211
- "31043": {
4212
- "content": "\\vdots",
4213
- "lstrip": false,
4214
- "normalized": true,
4215
- "rstrip": false,
4216
- "single_word": false,
4217
- "special": false
4218
- },
4219
- "31044": {
4220
- "content": "\\vec",
4221
- "lstrip": false,
4222
- "normalized": true,
4223
- "rstrip": false,
4224
- "single_word": false,
4225
- "special": false
4226
- },
4227
- "31045": {
4228
- "content": "\\vecara",
4229
- "lstrip": false,
4230
- "normalized": true,
4231
- "rstrip": false,
4232
- "single_word": false,
4233
- "special": false
4234
- },
4235
- "31046": {
4236
- "content": "\\vee",
4237
- "lstrip": false,
4238
- "normalized": true,
4239
- "rstrip": false,
4240
- "single_word": false,
4241
- "special": false
4242
- },
4243
- "31047": {
4244
- "content": "\\vigvec",
4245
- "lstrip": false,
4246
- "normalized": true,
4247
- "rstrip": false,
4248
- "single_word": false,
4249
- "special": false
4250
- },
4251
- "31048": {
4252
- "content": "\\wedge",
4253
- "lstrip": false,
4254
- "normalized": true,
4255
- "rstrip": false,
4256
- "single_word": false,
4257
- "special": false
4258
- },
4259
- "31049": {
4260
- "content": "\\wedgeT",
4261
- "lstrip": false,
4262
- "normalized": true,
4263
- "rstrip": false,
4264
- "single_word": false,
4265
- "special": false
4266
- },
4267
- "31050": {
4268
- "content": "\\wedgeid",
4269
- "lstrip": false,
4270
- "normalized": true,
4271
- "rstrip": false,
4272
- "single_word": false,
4273
- "special": false
4274
- },
4275
- "31051": {
4276
- "content": "\\widehat",
4277
- "lstrip": false,
4278
- "normalized": true,
4279
- "rstrip": false,
4280
- "single_word": false,
4281
- "special": false
4282
- },
4283
- "31052": {
4284
- "content": "\\widehatat",
4285
- "lstrip": false,
4286
- "normalized": true,
4287
- "rstrip": false,
4288
- "single_word": false,
4289
- "special": false
4290
- },
4291
- "31053": {
4292
- "content": "\\widetilde",
4293
- "lstrip": false,
4294
- "normalized": true,
4295
- "rstrip": false,
4296
- "single_word": false,
4297
- "special": false
4298
- },
4299
- "31054": {
4300
- "content": "\\wp",
4301
- "lstrip": false,
4302
- "normalized": true,
4303
- "rstrip": false,
4304
- "single_word": false,
4305
- "special": false
4306
- },
4307
- "31055": {
4308
- "content": "\\xi",
4309
- "lstrip": false,
4310
- "normalized": true,
4311
- "rstrip": false,
4312
- "single_word": false,
4313
- "special": false
4314
- },
4315
- "31056": {
4316
- "content": "\\xlongequal",
4317
- "lstrip": false,
4318
- "normalized": true,
4319
- "rstrip": false,
4320
- "single_word": false,
4321
- "special": false
4322
- },
4323
- "31057": {
4324
- "content": "\\xrightarrow",
4325
- "lstrip": false,
4326
- "normalized": true,
4327
- "rstrip": false,
4328
- "single_word": false,
4329
- "special": false
4330
- },
4331
- "31058": {
4332
- "content": "\\your",
4333
- "lstrip": false,
4334
- "normalized": true,
4335
- "rstrip": false,
4336
- "single_word": false,
4337
- "special": false
4338
- },
4339
- "31059": {
4340
- "content": "\\zeta",
4341
- "lstrip": false,
4342
- "normalized": true,
4343
- "rstrip": false,
4344
- "single_word": false,
4345
- "special": false
4346
  }
4347
  },
4348
  "clean_up_tokenization_spaces": false,
4349
  "cls_token": "[CLS]",
4350
  "do_lower_case": true,
 
4351
  "mask_token": "[MASK]",
4352
  "model_max_length": 512,
4353
  "pad_token": "[PAD]",
 
39
  "rstrip": false,
40
  "single_word": false,
41
  "special": true
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
42
  }
43
  },
44
  "clean_up_tokenization_spaces": false,
45
  "cls_token": "[CLS]",
46
  "do_lower_case": true,
47
+ "extra_special_tokens": {},
48
  "mask_token": "[MASK]",
49
  "model_max_length": 512,
50
  "pad_token": "[PAD]",