Coverage report: /home/ellis/comp/core/lib/dat/html/entity.lisp

KindCoveredAll%
expression6369 91.3
branch22100.0
Key
Not instrumented
Conditionalized out
Executed
Not executed
 
Both branches taken
One branch taken
Neither branch taken
1
 ;;; Entities
2
 (in-package :dat/html)
3
 (defun convert-to-trie (char-list value)
4
   (if (cdr char-list)
5
       (list (car char-list)
6
             nil
7
             (convert-to-trie (rest char-list) value))
8
       (list (car char-list)
9
             value)))
10
 
11
 (defun insert-into-trie (char-list value trie)
12
   (let ((sub-trie (assoc (car char-list) trie)))
13
     (if sub-trie
14
         (append (remove sub-trie trie)
15
                 (list (list* (car sub-trie)
16
                              (cadr sub-trie)
17
                              (insert-into-trie (rest char-list) value (cddr sub-trie)))))
18
         (append trie
19
                 (list (convert-to-trie char-list value))))))
20
 
21
 (defun convert-entities-list (entities)
22
   (loop for (name . values) in entities
23
         collect (cons (coerce name 'list)
24
                       (map 'string #'code-char values))))
25
 
26
 (defun make-entities-trie (entities)
27
   (let (trie)
28
     (dolist (entity (convert-entities-list entities))
29
       (destructuring-bind (char-list . value) entity
30
         (setf trie (insert-into-trie char-list value trie))))
31
     trie))
32
 
33
 (defparameter *entities*
34
   '(("AElig" 198)
35
     ("AElig;" 198)
36
     ("AMP" 38)
37
     ("AMP;" 38)
38
     ("Aacute" 193)
39
     ("Aacute;" 193)
40
     ("Abreve;" 258)
41
     ("Acirc" 194)
42
     ("Acirc;" 194)
43
     ("Acy;" 1040)
44
     ("Afr;" 120068)
45
     ("Agrave" 192)
46
     ("Agrave;" 192)
47
     ("Alpha;" 913)
48
     ("Amacr;" 256)
49
     ("And;" 10835)
50
     ("Aogon;" 260)
51
     ("Aopf;" 120120)
52
     ("ApplyFunction;" 8289)
53
     ("Aring" 197)
54
     ("Aring;" 197)
55
     ("Ascr;" 119964)
56
     ("Assign;" 8788)
57
     ("Atilde" 195)
58
     ("Atilde;" 195)
59
     ("Auml" 196)
60
     ("Auml;" 196)
61
     ("Backslash;" 8726)
62
     ("Barv;" 10983)
63
     ("Barwed;" 8966)
64
     ("Bcy;" 1041)
65
     ("Because;" 8757)
66
     ("Bernoullis;" 8492)
67
     ("Beta;" 914)
68
     ("Bfr;" 120069)
69
     ("Bopf;" 120121)
70
     ("Breve;" 728)
71
     ("Bscr;" 8492)
72
     ("Bumpeq;" 8782)
73
     ("CHcy;" 1063)
74
     ("COPY" 169)
75
     ("COPY;" 169)
76
     ("Cacute;" 262)
77
     ("Cap;" 8914)
78
     ("CapitalDifferentialD;" 8517)
79
     ("Cayleys;" 8493)
80
     ("Ccaron;" 268)
81
     ("Ccedil" 199)
82
     ("Ccedil;" 199)
83
     ("Ccirc;" 264)
84
     ("Cconint;" 8752)
85
     ("Cdot;" 266)
86
     ("Cedilla;" 184)
87
     ("CenterDot;" 183)
88
     ("Cfr;" 8493)
89
     ("Chi;" 935)
90
     ("CircleDot;" 8857)
91
     ("CircleMinus;" 8854)
92
     ("CirclePlus;" 8853)
93
     ("CircleTimes;" 8855)
94
     ("ClockwiseContourIntegral;" 8754)
95
     ("CloseCurlyDoubleQuote;" 8221)
96
     ("CloseCurlyQuote;" 8217)
97
     ("Colon;" 8759)
98
     ("Colone;" 10868)
99
     ("Congruent;" 8801)
100
     ("Conint;" 8751)
101
     ("ContourIntegral;" 8750)
102
     ("Copf;" 8450)
103
     ("Coproduct;" 8720)
104
     ("CounterClockwiseContourIntegral;" 8755)
105
     ("Cross;" 10799)
106
     ("Cscr;" 119966)
107
     ("Cup;" 8915)
108
     ("CupCap;" 8781)
109
     ("DD;" 8517)
110
     ("DDotrahd;" 10513)
111
     ("DJcy;" 1026)
112
     ("DScy;" 1029)
113
     ("DZcy;" 1039)
114
     ("Dagger;" 8225)
115
     ("Darr;" 8609)
116
     ("Dashv;" 10980)
117
     ("Dcaron;" 270)
118
     ("Dcy;" 1044)
119
     ("Del;" 8711)
120
     ("Delta;" 916)
121
     ("Dfr;" 120071)
122
     ("DiacriticalAcute;" 180)
123
     ("DiacriticalDot;" 729)
124
     ("DiacriticalDoubleAcute;" 733)
125
     ("DiacriticalGrave;" 96)
126
     ("DiacriticalTilde;" 732)
127
     ("Diamond;" 8900)
128
     ("DifferentialD;" 8518)
129
     ("Dopf;" 120123)
130
     ("Dot;" 168)
131
     ("DotDot;" 8412)
132
     ("DotEqual;" 8784)
133
     ("DoubleContourIntegral;" 8751)
134
     ("DoubleDot;" 168)
135
     ("DoubleDownArrow;" 8659)
136
     ("DoubleLeftArrow;" 8656)
137
     ("DoubleLeftRightArrow;" 8660)
138
     ("DoubleLeftTee;" 10980)
139
     ("DoubleLongLeftArrow;" 10232)
140
     ("DoubleLongLeftRightArrow;" 10234)
141
     ("DoubleLongRightArrow;" 10233)
142
     ("DoubleRightArrow;" 8658)
143
     ("DoubleRightTee;" 8872)
144
     ("DoubleUpArrow;" 8657)
145
     ("DoubleUpDownArrow;" 8661)
146
     ("DoubleVerticalBar;" 8741)
147
     ("DownArrow;" 8595)
148
     ("DownArrowBar;" 10515)
149
     ("DownArrowUpArrow;" 8693)
150
     ("DownBreve;" 785)
151
     ("DownLeftRightVector;" 10576)
152
     ("DownLeftTeeVector;" 10590)
153
     ("DownLeftVector;" 8637)
154
     ("DownLeftVectorBar;" 10582)
155
     ("DownRightTeeVector;" 10591)
156
     ("DownRightVector;" 8641)
157
     ("DownRightVectorBar;" 10583)
158
     ("DownTee;" 8868)
159
     ("DownTeeArrow;" 8615)
160
     ("Downarrow;" 8659)
161
     ("Dscr;" 119967)
162
     ("Dstrok;" 272)
163
     ("ENG;" 330)
164
     ("ETH" 208)
165
     ("ETH;" 208)
166
     ("Eacute" 201)
167
     ("Eacute;" 201)
168
     ("Ecaron;" 282)
169
     ("Ecirc" 202)
170
     ("Ecirc;" 202)
171
     ("Ecy;" 1069)
172
     ("Edot;" 278)
173
     ("Efr;" 120072)
174
     ("Egrave" 200)
175
     ("Egrave;" 200)
176
     ("Element;" 8712)
177
     ("Emacr;" 274)
178
     ("EmptySmallSquare;" 9723)
179
     ("EmptyVerySmallSquare;" 9643)
180
     ("Eogon;" 280)
181
     ("Eopf;" 120124)
182
     ("Epsilon;" 917)
183
     ("Equal;" 10869)
184
     ("EqualTilde;" 8770)
185
     ("Equilibrium;" 8652)
186
     ("Escr;" 8496)
187
     ("Esim;" 10867)
188
     ("Eta;" 919)
189
     ("Euml" 203)
190
     ("Euml;" 203)
191
     ("Exists;" 8707)
192
     ("ExponentialE;" 8519)
193
     ("Fcy;" 1060)
194
     ("Ffr;" 120073)
195
     ("FilledSmallSquare;" 9724)
196
     ("FilledVerySmallSquare;" 9642)
197
     ("Fopf;" 120125)
198
     ("ForAll;" 8704)
199
     ("Fouriertrf;" 8497)
200
     ("Fscr;" 8497)
201
     ("GJcy;" 1027)
202
     ("GT" 62)
203
     ("GT;" 62)
204
     ("Gamma;" 915)
205
     ("Gammad;" 988)
206
     ("Gbreve;" 286)
207
     ("Gcedil;" 290)
208
     ("Gcirc;" 284)
209
     ("Gcy;" 1043)
210
     ("Gdot;" 288)
211
     ("Gfr;" 120074)
212
     ("Gg;" 8921)
213
     ("Gopf;" 120126)
214
     ("GreaterEqual;" 8805)
215
     ("GreaterEqualLess;" 8923)
216
     ("GreaterFullEqual;" 8807)
217
     ("GreaterGreater;" 10914)
218
     ("GreaterLess;" 8823)
219
     ("GreaterSlantEqual;" 10878)
220
     ("GreaterTilde;" 8819)
221
     ("Gscr;" 119970)
222
     ("Gt;" 8811)
223
     ("HARDcy;" 1066)
224
     ("Hacek;" 711)
225
     ("Hat;" 94)
226
     ("Hcirc;" 292)
227
     ("Hfr;" 8460)
228
     ("HilbertSpace;" 8459)
229
     ("Hopf;" 8461)
230
     ("HorizontalLine;" 9472)
231
     ("Hscr;" 8459)
232
     ("Hstrok;" 294)
233
     ("HumpDownHump;" 8782)
234
     ("HumpEqual;" 8783)
235
     ("IEcy;" 1045)
236
     ("IJlig;" 306)
237
     ("IOcy;" 1025)
238
     ("Iacute" 205)
239
     ("Iacute;" 205)
240
     ("Icirc" 206)
241
     ("Icirc;" 206)
242
     ("Icy;" 1048)
243
     ("Idot;" 304)
244
     ("Ifr;" 8465)
245
     ("Igrave" 204)
246
     ("Igrave;" 204)
247
     ("Im;" 8465)
248
     ("Imacr;" 298)
249
     ("ImaginaryI;" 8520)
250
     ("Implies;" 8658)
251
     ("Int;" 8748)
252
     ("Integral;" 8747)
253
     ("Intersection;" 8898)
254
     ("InvisibleComma;" 8291)
255
     ("InvisibleTimes;" 8290)
256
     ("Iogon;" 302)
257
     ("Iopf;" 120128)
258
     ("Iota;" 921)
259
     ("Iscr;" 8464)
260
     ("Itilde;" 296)
261
     ("Iukcy;" 1030)
262
     ("Iuml" 207)
263
     ("Iuml;" 207)
264
     ("Jcirc;" 308)
265
     ("Jcy;" 1049)
266
     ("Jfr;" 120077)
267
     ("Jopf;" 120129)
268
     ("Jscr;" 119973)
269
     ("Jsercy;" 1032)
270
     ("Jukcy;" 1028)
271
     ("KHcy;" 1061)
272
     ("KJcy;" 1036)
273
     ("Kappa;" 922)
274
     ("Kcedil;" 310)
275
     ("Kcy;" 1050)
276
     ("Kfr;" 120078)
277
     ("Kopf;" 120130)
278
     ("Kscr;" 119974)
279
     ("LJcy;" 1033)
280
     ("LT" 60)
281
     ("LT;" 60)
282
     ("Lacute;" 313)
283
     ("Lambda;" 923)
284
     ("Lang;" 10218)
285
     ("Laplacetrf;" 8466)
286
     ("Larr;" 8606)
287
     ("Lcaron;" 317)
288
     ("Lcedil;" 315)
289
     ("Lcy;" 1051)
290
     ("LeftAngleBracket;" 10216)
291
     ("LeftArrow;" 8592)
292
     ("LeftArrowBar;" 8676)
293
     ("LeftArrowRightArrow;" 8646)
294
     ("LeftCeiling;" 8968)
295
     ("LeftDoubleBracket;" 10214)
296
     ("LeftDownTeeVector;" 10593)
297
     ("LeftDownVector;" 8643)
298
     ("LeftDownVectorBar;" 10585)
299
     ("LeftFloor;" 8970)
300
     ("LeftRightArrow;" 8596)
301
     ("LeftRightVector;" 10574)
302
     ("LeftTee;" 8867)
303
     ("LeftTeeArrow;" 8612)
304
     ("LeftTeeVector;" 10586)
305
     ("LeftTriangle;" 8882)
306
     ("LeftTriangleBar;" 10703)
307
     ("LeftTriangleEqual;" 8884)
308
     ("LeftUpDownVector;" 10577)
309
     ("LeftUpTeeVector;" 10592)
310
     ("LeftUpVector;" 8639)
311
     ("LeftUpVectorBar;" 10584)
312
     ("LeftVector;" 8636)
313
     ("LeftVectorBar;" 10578)
314
     ("Leftarrow;" 8656)
315
     ("Leftrightarrow;" 8660)
316
     ("LessEqualGreater;" 8922)
317
     ("LessFullEqual;" 8806)
318
     ("LessGreater;" 8822)
319
     ("LessLess;" 10913)
320
     ("LessSlantEqual;" 10877)
321
     ("LessTilde;" 8818)
322
     ("Lfr;" 120079)
323
     ("Ll;" 8920)
324
     ("Lleftarrow;" 8666)
325
     ("Lmidot;" 319)
326
     ("LongLeftArrow;" 10229)
327
     ("LongLeftRightArrow;" 10231)
328
     ("LongRightArrow;" 10230)
329
     ("Longleftarrow;" 10232)
330
     ("Longleftrightarrow;" 10234)
331
     ("Longrightarrow;" 10233)
332
     ("Lopf;" 120131)
333
     ("LowerLeftArrow;" 8601)
334
     ("LowerRightArrow;" 8600)
335
     ("Lscr;" 8466)
336
     ("Lsh;" 8624)
337
     ("Lstrok;" 321)
338
     ("Lt;" 8810)
339
     ("Map;" 10501)
340
     ("Mcy;" 1052)
341
     ("MediumSpace;" 8287)
342
     ("Mellintrf;" 8499)
343
     ("Mfr;" 120080)
344
     ("MinusPlus;" 8723)
345
     ("Mopf;" 120132)
346
     ("Mscr;" 8499)
347
     ("Mu;" 924)
348
     ("NJcy;" 1034)
349
     ("Nacute;" 323)
350
     ("Ncaron;" 327)
351
     ("Ncedil;" 325)
352
     ("Ncy;" 1053)
353
     ("NegativeMediumSpace;" 8203)
354
     ("NegativeThickSpace;" 8203)
355
     ("NegativeThinSpace;" 8203)
356
     ("NegativeVeryThinSpace;" 8203)
357
     ("NestedGreaterGreater;" 8811)
358
     ("NestedLessLess;" 8810)
359
     ("NewLine;" 10)
360
     ("Nfr;" 120081)
361
     ("NoBreak;" 8288)
362
     ("NonBreakingSpace;" 160)
363
     ("Nopf;" 8469)
364
     ("Not;" 10988)
365
     ("NotCongruent;" 8802)
366
     ("NotCupCap;" 8813)
367
     ("NotDoubleVerticalBar;" 8742)
368
     ("NotElement;" 8713)
369
     ("NotEqual;" 8800)
370
     ("NotEqualTilde;" 8770 824)
371
     ("NotExists;" 8708)
372
     ("NotGreater;" 8815)
373
     ("NotGreaterEqual;" 8817)
374
     ("NotGreaterFullEqual;" 8807 824)
375
     ("NotGreaterGreater;" 8811 824)
376
     ("NotGreaterLess;" 8825)
377
     ("NotGreaterSlantEqual;" 10878 824)
378
     ("NotGreaterTilde;" 8821)
379
     ("NotHumpDownHump;" 8782 824)
380
     ("NotHumpEqual;" 8783 824)
381
     ("NotLeftTriangle;" 8938)
382
     ("NotLeftTriangleBar;" 10703 824)
383
     ("NotLeftTriangleEqual;" 8940)
384
     ("NotLess;" 8814)
385
     ("NotLessEqual;" 8816)
386
     ("NotLessGreater;" 8824)
387
     ("NotLessLess;" 8810 824)
388
     ("NotLessSlantEqual;" 10877 824)
389
     ("NotLessTilde;" 8820)
390
     ("NotNestedGreaterGreater;" 10914 824)
391
     ("NotNestedLessLess;" 10913 824)
392
     ("NotPrecedes;" 8832)
393
     ("NotPrecedesEqual;" 10927 824)
394
     ("NotPrecedesSlantEqual;" 8928)
395
     ("NotReverseElement;" 8716)
396
     ("NotRightTriangle;" 8939)
397
     ("NotRightTriangleBar;" 10704 824)
398
     ("NotRightTriangleEqual;" 8941)
399
     ("NotSquareSubset;" 8847 824)
400
     ("NotSquareSubsetEqual;" 8930)
401
     ("NotSquareSuperset;" 8848 824)
402
     ("NotSquareSupersetEqual;" 8931)
403
     ("NotSubset;" 8834 8402)
404
     ("NotSubsetEqual;" 8840)
405
     ("NotSucceeds;" 8833)
406
     ("NotSucceedsEqual;" 10928 824)
407
     ("NotSucceedsSlantEqual;" 8929)
408
     ("NotSucceedsTilde;" 8831 824)
409
     ("NotSuperset;" 8835 8402)
410
     ("NotSupersetEqual;" 8841)
411
     ("NotTilde;" 8769)
412
     ("NotTildeEqual;" 8772)
413
     ("NotTildeFullEqual;" 8775)
414
     ("NotTildeTilde;" 8777)
415
     ("NotVerticalBar;" 8740)
416
     ("Nscr;" 119977)
417
     ("Ntilde" 209)
418
     ("Ntilde;" 209)
419
     ("Nu;" 925)
420
     ("OElig;" 338)
421
     ("Oacute" 211)
422
     ("Oacute;" 211)
423
     ("Ocirc" 212)
424
     ("Ocirc;" 212)
425
     ("Ocy;" 1054)
426
     ("Odblac;" 336)
427
     ("Ofr;" 120082)
428
     ("Ograve" 210)
429
     ("Ograve;" 210)
430
     ("Omacr;" 332)
431
     ("Omega;" 937)
432
     ("Omicron;" 927)
433
     ("Oopf;" 120134)
434
     ("OpenCurlyDoubleQuote;" 8220)
435
     ("OpenCurlyQuote;" 8216)
436
     ("Or;" 10836)
437
     ("Oscr;" 119978)
438
     ("Oslash" 216)
439
     ("Oslash;" 216)
440
     ("Otilde" 213)
441
     ("Otilde;" 213)
442
     ("Otimes;" 10807)
443
     ("Ouml" 214)
444
     ("Ouml;" 214)
445
     ("OverBar;" 8254)
446
     ("OverBrace;" 9182)
447
     ("OverBracket;" 9140)
448
     ("OverParenthesis;" 9180)
449
     ("PartialD;" 8706)
450
     ("Pcy;" 1055)
451
     ("Pfr;" 120083)
452
     ("Phi;" 934)
453
     ("Pi;" 928)
454
     ("PlusMinus;" 177)
455
     ("Poincareplane;" 8460)
456
     ("Popf;" 8473)
457
     ("Pr;" 10939)
458
     ("Precedes;" 8826)
459
     ("PrecedesEqual;" 10927)
460
     ("PrecedesSlantEqual;" 8828)
461
     ("PrecedesTilde;" 8830)
462
     ("Prime;" 8243)
463
     ("Product;" 8719)
464
     ("Proportion;" 8759)
465
     ("Proportional;" 8733)
466
     ("Pscr;" 119979)
467
     ("Psi;" 936)
468
     ("QUOT" 34)
469
     ("QUOT;" 34)
470
     ("Qfr;" 120084)
471
     ("Qopf;" 8474)
472
     ("Qscr;" 119980)
473
     ("RBarr;" 10512)
474
     ("REG" 174)
475
     ("REG;" 174)
476
     ("Racute;" 340)
477
     ("Rang;" 10219)
478
     ("Rarr;" 8608)
479
     ("Rarrtl;" 10518)
480
     ("Rcaron;" 344)
481
     ("Rcedil;" 342)
482
     ("Rcy;" 1056)
483
     ("Re;" 8476)
484
     ("ReverseElement;" 8715)
485
     ("ReverseEquilibrium;" 8651)
486
     ("ReverseUpEquilibrium;" 10607)
487
     ("Rfr;" 8476)
488
     ("Rho;" 929)
489
     ("RightAngleBracket;" 10217)
490
     ("RightArrow;" 8594)
491
     ("RightArrowBar;" 8677)
492
     ("RightArrowLeftArrow;" 8644)
493
     ("RightCeiling;" 8969)
494
     ("RightDoubleBracket;" 10215)
495
     ("RightDownTeeVector;" 10589)
496
     ("RightDownVector;" 8642)
497
     ("RightDownVectorBar;" 10581)
498
     ("RightFloor;" 8971)
499
     ("RightTee;" 8866)
500
     ("RightTeeArrow;" 8614)
501
     ("RightTeeVector;" 10587)
502
     ("RightTriangle;" 8883)
503
     ("RightTriangleBar;" 10704)
504
     ("RightTriangleEqual;" 8885)
505
     ("RightUpDownVector;" 10575)
506
     ("RightUpTeeVector;" 10588)
507
     ("RightUpVector;" 8638)
508
     ("RightUpVectorBar;" 10580)
509
     ("RightVector;" 8640)
510
     ("RightVectorBar;" 10579)
511
     ("Rightarrow;" 8658)
512
     ("Ropf;" 8477)
513
     ("RoundImplies;" 10608)
514
     ("Rrightarrow;" 8667)
515
     ("Rscr;" 8475)
516
     ("Rsh;" 8625)
517
     ("RuleDelayed;" 10740)
518
     ("SHCHcy;" 1065)
519
     ("SHcy;" 1064)
520
     ("SOFTcy;" 1068)
521
     ("Sacute;" 346)
522
     ("Sc;" 10940)
523
     ("Scaron;" 352)
524
     ("Scedil;" 350)
525
     ("Scirc;" 348)
526
     ("Scy;" 1057)
527
     ("Sfr;" 120086)
528
     ("ShortDownArrow;" 8595)
529
     ("ShortLeftArrow;" 8592)
530
     ("ShortRightArrow;" 8594)
531
     ("ShortUpArrow;" 8593)
532
     ("Sigma;" 931)
533
     ("SmallCircle;" 8728)
534
     ("Sopf;" 120138)
535
     ("Sqrt;" 8730)
536
     ("Square;" 9633)
537
     ("SquareIntersection;" 8851)
538
     ("SquareSubset;" 8847)
539
     ("SquareSubsetEqual;" 8849)
540
     ("SquareSuperset;" 8848)
541
     ("SquareSupersetEqual;" 8850)
542
     ("SquareUnion;" 8852)
543
     ("Sscr;" 119982)
544
     ("Star;" 8902)
545
     ("Sub;" 8912)
546
     ("Subset;" 8912)
547
     ("SubsetEqual;" 8838)
548
     ("Succeeds;" 8827)
549
     ("SucceedsEqual;" 10928)
550
     ("SucceedsSlantEqual;" 8829)
551
     ("SucceedsTilde;" 8831)
552
     ("SuchThat;" 8715)
553
     ("Sum;" 8721)
554
     ("Sup;" 8913)
555
     ("Superset;" 8835)
556
     ("SupersetEqual;" 8839)
557
     ("Supset;" 8913)
558
     ("THORN" 222)
559
     ("THORN;" 222)
560
     ("TRADE;" 8482)
561
     ("TSHcy;" 1035)
562
     ("TScy;" 1062)
563
     ("Tab;" 9)
564
     ("Tau;" 932)
565
     ("Tcaron;" 356)
566
     ("Tcedil;" 354)
567
     ("Tcy;" 1058)
568
     ("Tfr;" 120087)
569
     ("Therefore;" 8756)
570
     ("Theta;" 920)
571
     ("ThickSpace;" 8287 8202)
572
     ("ThinSpace;" 8201)
573
     ("Tilde;" 8764)
574
     ("TildeEqual;" 8771)
575
     ("TildeFullEqual;" 8773)
576
     ("TildeTilde;" 8776)
577
     ("Topf;" 120139)
578
     ("TripleDot;" 8411)
579
     ("Tscr;" 119983)
580
     ("Tstrok;" 358)
581
     ("Uacute" 218)
582
     ("Uacute;" 218)
583
     ("Uarr;" 8607)
584
     ("Uarrocir;" 10569)
585
     ("Ubrcy;" 1038)
586
     ("Ubreve;" 364)
587
     ("Ucirc" 219)
588
     ("Ucirc;" 219)
589
     ("Ucy;" 1059)
590
     ("Udblac;" 368)
591
     ("Ufr;" 120088)
592
     ("Ugrave" 217)
593
     ("Ugrave;" 217)
594
     ("Umacr;" 362)
595
     ("UnderBar;" 95)
596
     ("UnderBrace;" 9183)
597
     ("UnderBracket;" 9141)
598
     ("UnderParenthesis;" 9181)
599
     ("Union;" 8899)
600
     ("UnionPlus;" 8846)
601
     ("Uogon;" 370)
602
     ("Uopf;" 120140)
603
     ("UpArrow;" 8593)
604
     ("UpArrowBar;" 10514)
605
     ("UpArrowDownArrow;" 8645)
606
     ("UpDownArrow;" 8597)
607
     ("UpEquilibrium;" 10606)
608
     ("UpTee;" 8869)
609
     ("UpTeeArrow;" 8613)
610
     ("Uparrow;" 8657)
611
     ("Updownarrow;" 8661)
612
     ("UpperLeftArrow;" 8598)
613
     ("UpperRightArrow;" 8599)
614
     ("Upsi;" 978)
615
     ("Upsilon;" 933)
616
     ("Uring;" 366)
617
     ("Uscr;" 119984)
618
     ("Utilde;" 360)
619
     ("Uuml" 220)
620
     ("Uuml;" 220)
621
     ("VDash;" 8875)
622
     ("Vbar;" 10987)
623
     ("Vcy;" 1042)
624
     ("Vdash;" 8873)
625
     ("Vdashl;" 10982)
626
     ("Vee;" 8897)
627
     ("Verbar;" 8214)
628
     ("Vert;" 8214)
629
     ("VerticalBar;" 8739)
630
     ("VerticalLine;" 124)
631
     ("VerticalSeparator;" 10072)
632
     ("VerticalTilde;" 8768)
633
     ("VeryThinSpace;" 8202)
634
     ("Vfr;" 120089)
635
     ("Vopf;" 120141)
636
     ("Vscr;" 119985)
637
     ("Vvdash;" 8874)
638
     ("Wcirc;" 372)
639
     ("Wedge;" 8896)
640
     ("Wfr;" 120090)
641
     ("Wopf;" 120142)
642
     ("Wscr;" 119986)
643
     ("Xfr;" 120091)
644
     ("Xi;" 926)
645
     ("Xopf;" 120143)
646
     ("Xscr;" 119987)
647
     ("YAcy;" 1071)
648
     ("YIcy;" 1031)
649
     ("YUcy;" 1070)
650
     ("Yacute" 221)
651
     ("Yacute;" 221)
652
     ("Ycirc;" 374)
653
     ("Ycy;" 1067)
654
     ("Yfr;" 120092)
655
     ("Yopf;" 120144)
656
     ("Yscr;" 119988)
657
     ("Yuml;" 376)
658
     ("ZHcy;" 1046)
659
     ("Zacute;" 377)
660
     ("Zcaron;" 381)
661
     ("Zcy;" 1047)
662
     ("Zdot;" 379)
663
     ("ZeroWidthSpace;" 8203)
664
     ("Zeta;" 918)
665
     ("Zfr;" 8488)
666
     ("Zopf;" 8484)
667
     ("Zscr;" 119989)
668
     ("aacute" 225)
669
     ("aacute;" 225)
670
     ("abreve;" 259)
671
     ("ac;" 8766)
672
     ("acE;" 8766 819)
673
     ("acd;" 8767)
674
     ("acirc" 226)
675
     ("acirc;" 226)
676
     ("acute" 180)
677
     ("acute;" 180)
678
     ("acy;" 1072)
679
     ("aelig" 230)
680
     ("aelig;" 230)
681
     ("af;" 8289)
682
     ("afr;" 120094)
683
     ("agrave" 224)
684
     ("agrave;" 224)
685
     ("alefsym;" 8501)
686
     ("aleph;" 8501)
687
     ("alpha;" 945)
688
     ("amacr;" 257)
689
     ("amalg;" 10815)
690
     ("amp" 38)
691
     ("amp;" 38)
692
     ("and;" 8743)
693
     ("andand;" 10837)
694
     ("andd;" 10844)
695
     ("andslope;" 10840)
696
     ("andv;" 10842)
697
     ("ang;" 8736)
698
     ("ange;" 10660)
699
     ("angle;" 8736)
700
     ("angmsd;" 8737)
701
     ("angmsdaa;" 10664)
702
     ("angmsdab;" 10665)
703
     ("angmsdac;" 10666)
704
     ("angmsdad;" 10667)
705
     ("angmsdae;" 10668)
706
     ("angmsdaf;" 10669)
707
     ("angmsdag;" 10670)
708
     ("angmsdah;" 10671)
709
     ("angrt;" 8735)
710
     ("angrtvb;" 8894)
711
     ("angrtvbd;" 10653)
712
     ("angsph;" 8738)
713
     ("angst;" 197)
714
     ("angzarr;" 9084)
715
     ("aogon;" 261)
716
     ("aopf;" 120146)
717
     ("ap;" 8776)
718
     ("apE;" 10864)
719
     ("apacir;" 10863)
720
     ("ape;" 8778)
721
     ("apid;" 8779)
722
     ("apos;" 39)
723
     ("approx;" 8776)
724
     ("approxeq;" 8778)
725
     ("aring" 229)
726
     ("aring;" 229)
727
     ("ascr;" 119990)
728
     ("ast;" 42)
729
     ("asymp;" 8776)
730
     ("asympeq;" 8781)
731
     ("atilde" 227)
732
     ("atilde;" 227)
733
     ("auml" 228)
734
     ("auml;" 228)
735
     ("awconint;" 8755)
736
     ("awint;" 10769)
737
     ("bNot;" 10989)
738
     ("backcong;" 8780)
739
     ("backepsilon;" 1014)
740
     ("backprime;" 8245)
741
     ("backsim;" 8765)
742
     ("backsimeq;" 8909)
743
     ("barvee;" 8893)
744
     ("barwed;" 8965)
745
     ("barwedge;" 8965)
746
     ("bbrk;" 9141)
747
     ("bbrktbrk;" 9142)
748
     ("bcong;" 8780)
749
     ("bcy;" 1073)
750
     ("bdquo;" 8222)
751
     ("becaus;" 8757)
752
     ("because;" 8757)
753
     ("bemptyv;" 10672)
754
     ("bepsi;" 1014)
755
     ("bernou;" 8492)
756
     ("beta;" 946)
757
     ("beth;" 8502)
758
     ("between;" 8812)
759
     ("bfr;" 120095)
760
     ("bigcap;" 8898)
761
     ("bigcirc;" 9711)
762
     ("bigcup;" 8899)
763
     ("bigodot;" 10752)
764
     ("bigoplus;" 10753)
765
     ("bigotimes;" 10754)
766
     ("bigsqcup;" 10758)
767
     ("bigstar;" 9733)
768
     ("bigtriangledown;" 9661)
769
     ("bigtriangleup;" 9651)
770
     ("biguplus;" 10756)
771
     ("bigvee;" 8897)
772
     ("bigwedge;" 8896)
773
     ("bkarow;" 10509)
774
     ("blacklozenge;" 10731)
775
     ("blacksquare;" 9642)
776
     ("blacktriangle;" 9652)
777
     ("blacktriangledown;" 9662)
778
     ("blacktriangleleft;" 9666)
779
     ("blacktriangleright;" 9656)
780
     ("blank;" 9251)
781
     ("blk12;" 9618)
782
     ("blk14;" 9617)
783
     ("blk34;" 9619)
784
     ("block;" 9608)
785
     ("bne;" 61 8421)
786
     ("bnequiv;" 8801 8421)
787
     ("bnot;" 8976)
788
     ("bopf;" 120147)
789
     ("bot;" 8869)
790
     ("bottom;" 8869)
791
     ("bowtie;" 8904)
792
     ("boxDL;" 9559)
793
     ("boxDR;" 9556)
794
     ("boxDl;" 9558)
795
     ("boxDr;" 9555)
796
     ("boxH;" 9552)
797
     ("boxHD;" 9574)
798
     ("boxHU;" 9577)
799
     ("boxHd;" 9572)
800
     ("boxHu;" 9575)
801
     ("boxUL;" 9565)
802
     ("boxUR;" 9562)
803
     ("boxUl;" 9564)
804
     ("boxUr;" 9561)
805
     ("boxV;" 9553)
806
     ("boxVH;" 9580)
807
     ("boxVL;" 9571)
808
     ("boxVR;" 9568)
809
     ("boxVh;" 9579)
810
     ("boxVl;" 9570)
811
     ("boxVr;" 9567)
812
     ("boxbox;" 10697)
813
     ("boxdL;" 9557)
814
     ("boxdR;" 9554)
815
     ("boxdl;" 9488)
816
     ("boxdr;" 9484)
817
     ("boxh;" 9472)
818
     ("boxhD;" 9573)
819
     ("boxhU;" 9576)
820
     ("boxhd;" 9516)
821
     ("boxhu;" 9524)
822
     ("boxminus;" 8863)
823
     ("boxplus;" 8862)
824
     ("boxtimes;" 8864)
825
     ("boxuL;" 9563)
826
     ("boxuR;" 9560)
827
     ("boxul;" 9496)
828
     ("boxur;" 9492)
829
     ("boxv;" 9474)
830
     ("boxvH;" 9578)
831
     ("boxvL;" 9569)
832
     ("boxvR;" 9566)
833
     ("boxvh;" 9532)
834
     ("boxvl;" 9508)
835
     ("boxvr;" 9500)
836
     ("bprime;" 8245)
837
     ("breve;" 728)
838
     ("brvbar" 166)
839
     ("brvbar;" 166)
840
     ("bscr;" 119991)
841
     ("bsemi;" 8271)
842
     ("bsim;" 8765)
843
     ("bsime;" 8909)
844
     ("bsol;" 92)
845
     ("bsolb;" 10693)
846
     ("bsolhsub;" 10184)
847
     ("bull;" 8226)
848
     ("bullet;" 8226)
849
     ("bump;" 8782)
850
     ("bumpE;" 10926)
851
     ("bumpe;" 8783)
852
     ("bumpeq;" 8783)
853
     ("cacute;" 263)
854
     ("cap;" 8745)
855
     ("capand;" 10820)
856
     ("capbrcup;" 10825)
857
     ("capcap;" 10827)
858
     ("capcup;" 10823)
859
     ("capdot;" 10816)
860
     ("caps;" 8745 65024)
861
     ("caret;" 8257)
862
     ("caron;" 711)
863
     ("ccaps;" 10829)
864
     ("ccaron;" 269)
865
     ("ccedil" 231)
866
     ("ccedil;" 231)
867
     ("ccirc;" 265)
868
     ("ccups;" 10828)
869
     ("ccupssm;" 10832)
870
     ("cdot;" 267)
871
     ("cedil" 184)
872
     ("cedil;" 184)
873
     ("cemptyv;" 10674)
874
     ("cent" 162)
875
     ("cent;" 162)
876
     ("centerdot;" 183)
877
     ("cfr;" 120096)
878
     ("chcy;" 1095)
879
     ("check;" 10003)
880
     ("checkmark;" 10003)
881
     ("chi;" 967)
882
     ("cir;" 9675)
883
     ("cirE;" 10691)
884
     ("circ;" 710)
885
     ("circeq;" 8791)
886
     ("circlearrowleft;" 8634)
887
     ("circlearrowright;" 8635)
888
     ("circledR;" 174)
889
     ("circledS;" 9416)
890
     ("circledast;" 8859)
891
     ("circledcirc;" 8858)
892
     ("circleddash;" 8861)
893
     ("cire;" 8791)
894
     ("cirfnint;" 10768)
895
     ("cirmid;" 10991)
896
     ("cirscir;" 10690)
897
     ("clubs;" 9827)
898
     ("clubsuit;" 9827)
899
     ("colon;" 58)
900
     ("colone;" 8788)
901
     ("coloneq;" 8788)
902
     ("comma;" 44)
903
     ("commat;" 64)
904
     ("comp;" 8705)
905
     ("compfn;" 8728)
906
     ("complement;" 8705)
907
     ("complexes;" 8450)
908
     ("cong;" 8773)
909
     ("congdot;" 10861)
910
     ("conint;" 8750)
911
     ("copf;" 120148)
912
     ("coprod;" 8720)
913
     ("copy" 169)
914
     ("copy;" 169)
915
     ("copysr;" 8471)
916
     ("crarr;" 8629)
917
     ("cross;" 10007)
918
     ("cscr;" 119992)
919
     ("csub;" 10959)
920
     ("csube;" 10961)
921
     ("csup;" 10960)
922
     ("csupe;" 10962)
923
     ("ctdot;" 8943)
924
     ("cudarrl;" 10552)
925
     ("cudarrr;" 10549)
926
     ("cuepr;" 8926)
927
     ("cuesc;" 8927)
928
     ("cularr;" 8630)
929
     ("cularrp;" 10557)
930
     ("cup;" 8746)
931
     ("cupbrcap;" 10824)
932
     ("cupcap;" 10822)
933
     ("cupcup;" 10826)
934
     ("cupdot;" 8845)
935
     ("cupor;" 10821)
936
     ("cups;" 8746 65024)
937
     ("curarr;" 8631)
938
     ("curarrm;" 10556)
939
     ("curlyeqprec;" 8926)
940
     ("curlyeqsucc;" 8927)
941
     ("curlyvee;" 8910)
942
     ("curlywedge;" 8911)
943
     ("curren" 164)
944
     ("curren;" 164)
945
     ("curvearrowleft;" 8630)
946
     ("curvearrowright;" 8631)
947
     ("cuvee;" 8910)
948
     ("cuwed;" 8911)
949
     ("cwconint;" 8754)
950
     ("cwint;" 8753)
951
     ("cylcty;" 9005)
952
     ("dArr;" 8659)
953
     ("dHar;" 10597)
954
     ("dagger;" 8224)
955
     ("daleth;" 8504)
956
     ("darr;" 8595)
957
     ("dash;" 8208)
958
     ("dashv;" 8867)
959
     ("dbkarow;" 10511)
960
     ("dblac;" 733)
961
     ("dcaron;" 271)
962
     ("dcy;" 1076)
963
     ("dd;" 8518)
964
     ("ddagger;" 8225)
965
     ("ddarr;" 8650)
966
     ("ddotseq;" 10871)
967
     ("deg" 176)
968
     ("deg;" 176)
969
     ("delta;" 948)
970
     ("demptyv;" 10673)
971
     ("dfisht;" 10623)
972
     ("dfr;" 120097)
973
     ("dharl;" 8643)
974
     ("dharr;" 8642)
975
     ("diam;" 8900)
976
     ("diamond;" 8900)
977
     ("diamondsuit;" 9830)
978
     ("diams;" 9830)
979
     ("die;" 168)
980
     ("digamma;" 989)
981
     ("disin;" 8946)
982
     ("div;" 247)
983
     ("divide" 247)
984
     ("divide;" 247)
985
     ("divideontimes;" 8903)
986
     ("divonx;" 8903)
987
     ("djcy;" 1106)
988
     ("dlcorn;" 8990)
989
     ("dlcrop;" 8973)
990
     ("dollar;" 36)
991
     ("dopf;" 120149)
992
     ("dot;" 729)
993
     ("doteq;" 8784)
994
     ("doteqdot;" 8785)
995
     ("dotminus;" 8760)
996
     ("dotplus;" 8724)
997
     ("dotsquare;" 8865)
998
     ("doublebarwedge;" 8966)
999
     ("downarrow;" 8595)
1000
     ("downdownarrows;" 8650)
1001
     ("downharpoonleft;" 8643)
1002
     ("downharpoonright;" 8642)
1003
     ("drbkarow;" 10512)
1004
     ("drcorn;" 8991)
1005
     ("drcrop;" 8972)
1006
     ("dscr;" 119993)
1007
     ("dscy;" 1109)
1008
     ("dsol;" 10742)
1009
     ("dstrok;" 273)
1010
     ("dtdot;" 8945)
1011
     ("dtri;" 9663)
1012
     ("dtrif;" 9662)
1013
     ("duarr;" 8693)
1014
     ("duhar;" 10607)
1015
     ("dwangle;" 10662)
1016
     ("dzcy;" 1119)
1017
     ("dzigrarr;" 10239)
1018
     ("eDDot;" 10871)
1019
     ("eDot;" 8785)
1020
     ("eacute" 233)
1021
     ("eacute;" 233)
1022
     ("easter;" 10862)
1023
     ("ecaron;" 283)
1024
     ("ecir;" 8790)
1025
     ("ecirc" 234)
1026
     ("ecirc;" 234)
1027
     ("ecolon;" 8789)
1028
     ("ecy;" 1101)
1029
     ("edot;" 279)
1030
     ("ee;" 8519)
1031
     ("efDot;" 8786)
1032
     ("efr;" 120098)
1033
     ("eg;" 10906)
1034
     ("egrave" 232)
1035
     ("egrave;" 232)
1036
     ("egs;" 10902)
1037
     ("egsdot;" 10904)
1038
     ("el;" 10905)
1039
     ("elinters;" 9191)
1040
     ("ell;" 8467)
1041
     ("els;" 10901)
1042
     ("elsdot;" 10903)
1043
     ("emacr;" 275)
1044
     ("empty;" 8709)
1045
     ("emptyset;" 8709)
1046
     ("emptyv;" 8709)
1047
     ("emsp13;" 8196)
1048
     ("emsp14;" 8197)
1049
     ("emsp;" 8195)
1050
     ("eng;" 331)
1051
     ("ensp;" 8194)
1052
     ("eogon;" 281)
1053
     ("eopf;" 120150)
1054
     ("epar;" 8917)
1055
     ("eparsl;" 10723)
1056
     ("eplus;" 10865)
1057
     ("epsi;" 949)
1058
     ("epsilon;" 949)
1059
     ("epsiv;" 1013)
1060
     ("eqcirc;" 8790)
1061
     ("eqcolon;" 8789)
1062
     ("eqsim;" 8770)
1063
     ("eqslantgtr;" 10902)
1064
     ("eqslantless;" 10901)
1065
     ("equals;" 61)
1066
     ("equest;" 8799)
1067
     ("equiv;" 8801)
1068
     ("equivDD;" 10872)
1069
     ("eqvparsl;" 10725)
1070
     ("erDot;" 8787)
1071
     ("erarr;" 10609)
1072
     ("escr;" 8495)
1073
     ("esdot;" 8784)
1074
     ("esim;" 8770)
1075
     ("eta;" 951)
1076
     ("eth" 240)
1077
     ("eth;" 240)
1078
     ("euml" 235)
1079
     ("euml;" 235)
1080
     ("euro;" 8364)
1081
     ("excl;" 33)
1082
     ("exist;" 8707)
1083
     ("expectation;" 8496)
1084
     ("exponentiale;" 8519)
1085
     ("fallingdotseq;" 8786)
1086
     ("fcy;" 1092)
1087
     ("female;" 9792)
1088
     ("ffilig;" 64259)
1089
     ("fflig;" 64256)
1090
     ("ffllig;" 64260)
1091
     ("ffr;" 120099)
1092
     ("filig;" 64257)
1093
     ("fjlig;" 102 106)
1094
     ("flat;" 9837)
1095
     ("fllig;" 64258)
1096
     ("fltns;" 9649)
1097
     ("fnof;" 402)
1098
     ("fopf;" 120151)
1099
     ("forall;" 8704)
1100
     ("fork;" 8916)
1101
     ("forkv;" 10969)
1102
     ("fpartint;" 10765)
1103
     ("frac12" 189)
1104
     ("frac12;" 189)
1105
     ("frac13;" 8531)
1106
     ("frac14" 188)
1107
     ("frac14;" 188)
1108
     ("frac15;" 8533)
1109
     ("frac16;" 8537)
1110
     ("frac18;" 8539)
1111
     ("frac23;" 8532)
1112
     ("frac25;" 8534)
1113
     ("frac34" 190)
1114
     ("frac34;" 190)
1115
     ("frac35;" 8535)
1116
     ("frac38;" 8540)
1117
     ("frac45;" 8536)
1118
     ("frac56;" 8538)
1119
     ("frac58;" 8541)
1120
     ("frac78;" 8542)
1121
     ("frasl;" 8260)
1122
     ("frown;" 8994)
1123
     ("fscr;" 119995)
1124
     ("gE;" 8807)
1125
     ("gEl;" 10892)
1126
     ("gacute;" 501)
1127
     ("gamma;" 947)
1128
     ("gammad;" 989)
1129
     ("gap;" 10886)
1130
     ("gbreve;" 287)
1131
     ("gcirc;" 285)
1132
     ("gcy;" 1075)
1133
     ("gdot;" 289)
1134
     ("ge;" 8805)
1135
     ("gel;" 8923)
1136
     ("geq;" 8805)
1137
     ("geqq;" 8807)
1138
     ("geqslant;" 10878)
1139
     ("ges;" 10878)
1140
     ("gescc;" 10921)
1141
     ("gesdot;" 10880)
1142
     ("gesdoto;" 10882)
1143
     ("gesdotol;" 10884)
1144
     ("gesl;" 8923 65024)
1145
     ("gesles;" 10900)
1146
     ("gfr;" 120100)
1147
     ("gg;" 8811)
1148
     ("ggg;" 8921)
1149
     ("gimel;" 8503)
1150
     ("gjcy;" 1107)
1151
     ("gl;" 8823)
1152
     ("glE;" 10898)
1153
     ("gla;" 10917)
1154
     ("glj;" 10916)
1155
     ("gnE;" 8809)
1156
     ("gnap;" 10890)
1157
     ("gnapprox;" 10890)
1158
     ("gne;" 10888)
1159
     ("gneq;" 10888)
1160
     ("gneqq;" 8809)
1161
     ("gnsim;" 8935)
1162
     ("gopf;" 120152)
1163
     ("grave;" 96)
1164
     ("gscr;" 8458)
1165
     ("gsim;" 8819)
1166
     ("gsime;" 10894)
1167
     ("gsiml;" 10896)
1168
     ("gt" 62)
1169
     ("gt;" 62)
1170
     ("gtcc;" 10919)
1171
     ("gtcir;" 10874)
1172
     ("gtdot;" 8919)
1173
     ("gtlPar;" 10645)
1174
     ("gtquest;" 10876)
1175
     ("gtrapprox;" 10886)
1176
     ("gtrarr;" 10616)
1177
     ("gtrdot;" 8919)
1178
     ("gtreqless;" 8923)
1179
     ("gtreqqless;" 10892)
1180
     ("gtrless;" 8823)
1181
     ("gtrsim;" 8819)
1182
     ("gvertneqq;" 8809 65024)
1183
     ("gvnE;" 8809 65024)
1184
     ("hArr;" 8660)
1185
     ("hairsp;" 8202)
1186
     ("half;" 189)
1187
     ("hamilt;" 8459)
1188
     ("hardcy;" 1098)
1189
     ("harr;" 8596)
1190
     ("harrcir;" 10568)
1191
     ("harrw;" 8621)
1192
     ("hbar;" 8463)
1193
     ("hcirc;" 293)
1194
     ("hearts;" 9829)
1195
     ("heartsuit;" 9829)
1196
     ("hellip;" 8230)
1197
     ("hercon;" 8889)
1198
     ("hfr;" 120101)
1199
     ("hksearow;" 10533)
1200
     ("hkswarow;" 10534)
1201
     ("hoarr;" 8703)
1202
     ("homtht;" 8763)
1203
     ("hookleftarrow;" 8617)
1204
     ("hookrightarrow;" 8618)
1205
     ("hopf;" 120153)
1206
     ("horbar;" 8213)
1207
     ("hscr;" 119997)
1208
     ("hslash;" 8463)
1209
     ("hstrok;" 295)
1210
     ("hybull;" 8259)
1211
     ("hyphen;" 8208)
1212
     ("iacute" 237)
1213
     ("iacute;" 237)
1214
     ("ic;" 8291)
1215
     ("icirc" 238)
1216
     ("icirc;" 238)
1217
     ("icy;" 1080)
1218
     ("iecy;" 1077)
1219
     ("iexcl" 161)
1220
     ("iexcl;" 161)
1221
     ("iff;" 8660)
1222
     ("ifr;" 120102)
1223
     ("igrave" 236)
1224
     ("igrave;" 236)
1225
     ("ii;" 8520)
1226
     ("iiiint;" 10764)
1227
     ("iiint;" 8749)
1228
     ("iinfin;" 10716)
1229
     ("iiota;" 8489)
1230
     ("ijlig;" 307)
1231
     ("imacr;" 299)
1232
     ("image;" 8465)
1233
     ("imagline;" 8464)
1234
     ("imagpart;" 8465)
1235
     ("imath;" 305)
1236
     ("imof;" 8887)
1237
     ("imped;" 437)
1238
     ("in;" 8712)
1239
     ("incare;" 8453)
1240
     ("infin;" 8734)
1241
     ("infintie;" 10717)
1242
     ("inodot;" 305)
1243
     ("int;" 8747)
1244
     ("intcal;" 8890)
1245
     ("integers;" 8484)
1246
     ("intercal;" 8890)
1247
     ("intlarhk;" 10775)
1248
     ("intprod;" 10812)
1249
     ("iocy;" 1105)
1250
     ("iogon;" 303)
1251
     ("iopf;" 120154)
1252
     ("iota;" 953)
1253
     ("iprod;" 10812)
1254
     ("iquest" 191)
1255
     ("iquest;" 191)
1256
     ("iscr;" 119998)
1257
     ("isin;" 8712)
1258
     ("isinE;" 8953)
1259
     ("isindot;" 8949)
1260
     ("isins;" 8948)
1261
     ("isinsv;" 8947)
1262
     ("isinv;" 8712)
1263
     ("it;" 8290)
1264
     ("itilde;" 297)
1265
     ("iukcy;" 1110)
1266
     ("iuml" 239)
1267
     ("iuml;" 239)
1268
     ("jcirc;" 309)
1269
     ("jcy;" 1081)
1270
     ("jfr;" 120103)
1271
     ("jmath;" 567)
1272
     ("jopf;" 120155)
1273
     ("jscr;" 119999)
1274
     ("jsercy;" 1112)
1275
     ("jukcy;" 1108)
1276
     ("kappa;" 954)
1277
     ("kappav;" 1008)
1278
     ("kcedil;" 311)
1279
     ("kcy;" 1082)
1280
     ("kfr;" 120104)
1281
     ("kgreen;" 312)
1282
     ("khcy;" 1093)
1283
     ("kjcy;" 1116)
1284
     ("kopf;" 120156)
1285
     ("kscr;" 120000)
1286
     ("lAarr;" 8666)
1287
     ("lArr;" 8656)
1288
     ("lAtail;" 10523)
1289
     ("lBarr;" 10510)
1290
     ("lE;" 8806)
1291
     ("lEg;" 10891)
1292
     ("lHar;" 10594)
1293
     ("lacute;" 314)
1294
     ("laemptyv;" 10676)
1295
     ("lagran;" 8466)
1296
     ("lambda;" 955)
1297
     ("lang;" 10216)
1298
     ("langd;" 10641)
1299
     ("langle;" 10216)
1300
     ("lap;" 10885)
1301
     ("laquo" 171)
1302
     ("laquo;" 171)
1303
     ("larr;" 8592)
1304
     ("larrb;" 8676)
1305
     ("larrbfs;" 10527)
1306
     ("larrfs;" 10525)
1307
     ("larrhk;" 8617)
1308
     ("larrlp;" 8619)
1309
     ("larrpl;" 10553)
1310
     ("larrsim;" 10611)
1311
     ("larrtl;" 8610)
1312
     ("lat;" 10923)
1313
     ("latail;" 10521)
1314
     ("late;" 10925)
1315
     ("lates;" 10925 65024)
1316
     ("lbarr;" 10508)
1317
     ("lbbrk;" 10098)
1318
     ("lbrace;" 123)
1319
     ("lbrack;" 91)
1320
     ("lbrke;" 10635)
1321
     ("lbrksld;" 10639)
1322
     ("lbrkslu;" 10637)
1323
     ("lcaron;" 318)
1324
     ("lcedil;" 316)
1325
     ("lceil;" 8968)
1326
     ("lcub;" 123)
1327
     ("lcy;" 1083)
1328
     ("ldca;" 10550)
1329
     ("ldquo;" 8220)
1330
     ("ldquor;" 8222)
1331
     ("ldrdhar;" 10599)
1332
     ("ldrushar;" 10571)
1333
     ("ldsh;" 8626)
1334
     ("le;" 8804)
1335
     ("leftarrow;" 8592)
1336
     ("leftarrowtail;" 8610)
1337
     ("leftharpoondown;" 8637)
1338
     ("leftharpoonup;" 8636)
1339
     ("leftleftarrows;" 8647)
1340
     ("leftrightarrow;" 8596)
1341
     ("leftrightarrows;" 8646)
1342
     ("leftrightharpoons;" 8651)
1343
     ("leftrightsquigarrow;" 8621)
1344
     ("leftthreetimes;" 8907)
1345
     ("leg;" 8922)
1346
     ("leq;" 8804)
1347
     ("leqq;" 8806)
1348
     ("leqslant;" 10877)
1349
     ("les;" 10877)
1350
     ("lescc;" 10920)
1351
     ("lesdot;" 10879)
1352
     ("lesdoto;" 10881)
1353
     ("lesdotor;" 10883)
1354
     ("lesg;" 8922 65024)
1355
     ("lesges;" 10899)
1356
     ("lessapprox;" 10885)
1357
     ("lessdot;" 8918)
1358
     ("lesseqgtr;" 8922)
1359
     ("lesseqqgtr;" 10891)
1360
     ("lessgtr;" 8822)
1361
     ("lesssim;" 8818)
1362
     ("lfisht;" 10620)
1363
     ("lfloor;" 8970)
1364
     ("lfr;" 120105)
1365
     ("lg;" 8822)
1366
     ("lgE;" 10897)
1367
     ("lhard;" 8637)
1368
     ("lharu;" 8636)
1369
     ("lharul;" 10602)
1370
     ("lhblk;" 9604)
1371
     ("ljcy;" 1113)
1372
     ("ll;" 8810)
1373
     ("llarr;" 8647)
1374
     ("llcorner;" 8990)
1375
     ("llhard;" 10603)
1376
     ("lltri;" 9722)
1377
     ("lmidot;" 320)
1378
     ("lmoust;" 9136)
1379
     ("lmoustache;" 9136)
1380
     ("lnE;" 8808)
1381
     ("lnap;" 10889)
1382
     ("lnapprox;" 10889)
1383
     ("lne;" 10887)
1384
     ("lneq;" 10887)
1385
     ("lneqq;" 8808)
1386
     ("lnsim;" 8934)
1387
     ("loang;" 10220)
1388
     ("loarr;" 8701)
1389
     ("lobrk;" 10214)
1390
     ("longleftarrow;" 10229)
1391
     ("longleftrightarrow;" 10231)
1392
     ("longmapsto;" 10236)
1393
     ("longrightarrow;" 10230)
1394
     ("looparrowleft;" 8619)
1395
     ("looparrowright;" 8620)
1396
     ("lopar;" 10629)
1397
     ("lopf;" 120157)
1398
     ("loplus;" 10797)
1399
     ("lotimes;" 10804)
1400
     ("lowast;" 8727)
1401
     ("lowbar;" 95)
1402
     ("loz;" 9674)
1403
     ("lozenge;" 9674)
1404
     ("lozf;" 10731)
1405
     ("lpar;" 40)
1406
     ("lparlt;" 10643)
1407
     ("lrarr;" 8646)
1408
     ("lrcorner;" 8991)
1409
     ("lrhar;" 8651)
1410
     ("lrhard;" 10605)
1411
     ("lrm;" 8206)
1412
     ("lrtri;" 8895)
1413
     ("lsaquo;" 8249)
1414
     ("lscr;" 120001)
1415
     ("lsh;" 8624)
1416
     ("lsim;" 8818)
1417
     ("lsime;" 10893)
1418
     ("lsimg;" 10895)
1419
     ("lsqb;" 91)
1420
     ("lsquo;" 8216)
1421
     ("lsquor;" 8218)
1422
     ("lstrok;" 322)
1423
     ("lt" 60)
1424
     ("lt;" 60)
1425
     ("ltcc;" 10918)
1426
     ("ltcir;" 10873)
1427
     ("ltdot;" 8918)
1428
     ("lthree;" 8907)
1429
     ("ltimes;" 8905)
1430
     ("ltlarr;" 10614)
1431
     ("ltquest;" 10875)
1432
     ("ltrPar;" 10646)
1433
     ("ltri;" 9667)
1434
     ("ltrie;" 8884)
1435
     ("ltrif;" 9666)
1436
     ("lurdshar;" 10570)
1437
     ("luruhar;" 10598)
1438
     ("lvertneqq;" 8808 65024)
1439
     ("lvnE;" 8808 65024)
1440
     ("mDDot;" 8762)
1441
     ("macr" 175)
1442
     ("macr;" 175)
1443
     ("male;" 9794)
1444
     ("malt;" 10016)
1445
     ("maltese;" 10016)
1446
     ("map;" 8614)
1447
     ("mapsto;" 8614)
1448
     ("mapstodown;" 8615)
1449
     ("mapstoleft;" 8612)
1450
     ("mapstoup;" 8613)
1451
     ("marker;" 9646)
1452
     ("mcomma;" 10793)
1453
     ("mcy;" 1084)
1454
     ("mdash;" 8212)
1455
     ("measuredangle;" 8737)
1456
     ("mfr;" 120106)
1457
     ("mho;" 8487)
1458
     ("micro" 181)
1459
     ("micro;" 181)
1460
     ("mid;" 8739)
1461
     ("midast;" 42)
1462
     ("midcir;" 10992)
1463
     ("middot" 183)
1464
     ("middot;" 183)
1465
     ("minus;" 8722)
1466
     ("minusb;" 8863)
1467
     ("minusd;" 8760)
1468
     ("minusdu;" 10794)
1469
     ("mlcp;" 10971)
1470
     ("mldr;" 8230)
1471
     ("mnplus;" 8723)
1472
     ("models;" 8871)
1473
     ("mopf;" 120158)
1474
     ("mp;" 8723)
1475
     ("mscr;" 120002)
1476
     ("mstpos;" 8766)
1477
     ("mu;" 956)
1478
     ("multimap;" 8888)
1479
     ("mumap;" 8888)
1480
     ("nGg;" 8921 824)
1481
     ("nGt;" 8811 8402)
1482
     ("nGtv;" 8811 824)
1483
     ("nLeftarrow;" 8653)
1484
     ("nLeftrightarrow;" 8654)
1485
     ("nLl;" 8920 824)
1486
     ("nLt;" 8810 8402)
1487
     ("nLtv;" 8810 824)
1488
     ("nRightarrow;" 8655)
1489
     ("nVDash;" 8879)
1490
     ("nVdash;" 8878)
1491
     ("nabla;" 8711)
1492
     ("nacute;" 324)
1493
     ("nang;" 8736 8402)
1494
     ("nap;" 8777)
1495
     ("napE;" 10864 824)
1496
     ("napid;" 8779 824)
1497
     ("napos;" 329)
1498
     ("napprox;" 8777)
1499
     ("natur;" 9838)
1500
     ("natural;" 9838)
1501
     ("naturals;" 8469)
1502
     ("nbsp" 160)
1503
     ("nbsp;" 160)
1504
     ("nbump;" 8782 824)
1505
     ("nbumpe;" 8783 824)
1506
     ("ncap;" 10819)
1507
     ("ncaron;" 328)
1508
     ("ncedil;" 326)
1509
     ("ncong;" 8775)
1510
     ("ncongdot;" 10861 824)
1511
     ("ncup;" 10818)
1512
     ("ncy;" 1085)
1513
     ("ndash;" 8211)
1514
     ("ne;" 8800)
1515
     ("neArr;" 8663)
1516
     ("nearhk;" 10532)
1517
     ("nearr;" 8599)
1518
     ("nearrow;" 8599)
1519
     ("nedot;" 8784 824)
1520
     ("nequiv;" 8802)
1521
     ("nesear;" 10536)
1522
     ("nesim;" 8770 824)
1523
     ("nexist;" 8708)
1524
     ("nexists;" 8708)
1525
     ("nfr;" 120107)
1526
     ("ngE;" 8807 824)
1527
     ("nge;" 8817)
1528
     ("ngeq;" 8817)
1529
     ("ngeqq;" 8807 824)
1530
     ("ngeqslant;" 10878 824)
1531
     ("nges;" 10878 824)
1532
     ("ngsim;" 8821)
1533
     ("ngt;" 8815)
1534
     ("ngtr;" 8815)
1535
     ("nhArr;" 8654)
1536
     ("nharr;" 8622)
1537
     ("nhpar;" 10994)
1538
     ("ni;" 8715)
1539
     ("nis;" 8956)
1540
     ("nisd;" 8954)
1541
     ("niv;" 8715)
1542
     ("njcy;" 1114)
1543
     ("nlArr;" 8653)
1544
     ("nlE;" 8806 824)
1545
     ("nlarr;" 8602)
1546
     ("nldr;" 8229)
1547
     ("nle;" 8816)
1548
     ("nleftarrow;" 8602)
1549
     ("nleftrightarrow;" 8622)
1550
     ("nleq;" 8816)
1551
     ("nleqq;" 8806 824)
1552
     ("nleqslant;" 10877 824)
1553
     ("nles;" 10877 824)
1554
     ("nless;" 8814)
1555
     ("nlsim;" 8820)
1556
     ("nlt;" 8814)
1557
     ("nltri;" 8938)
1558
     ("nltrie;" 8940)
1559
     ("nmid;" 8740)
1560
     ("nopf;" 120159)
1561
     ("not" 172)
1562
     ("not;" 172)
1563
     ("notin;" 8713)
1564
     ("notinE;" 8953 824)
1565
     ("notindot;" 8949 824)
1566
     ("notinva;" 8713)
1567
     ("notinvb;" 8951)
1568
     ("notinvc;" 8950)
1569
     ("notni;" 8716)
1570
     ("notniva;" 8716)
1571
     ("notnivb;" 8958)
1572
     ("notnivc;" 8957)
1573
     ("npar;" 8742)
1574
     ("nparallel;" 8742)
1575
     ("nparsl;" 11005 8421)
1576
     ("npart;" 8706 824)
1577
     ("npolint;" 10772)
1578
     ("npr;" 8832)
1579
     ("nprcue;" 8928)
1580
     ("npre;" 10927 824)
1581
     ("nprec;" 8832)
1582
     ("npreceq;" 10927 824)
1583
     ("nrArr;" 8655)
1584
     ("nrarr;" 8603)
1585
     ("nrarrc;" 10547 824)
1586
     ("nrarrw;" 8605 824)
1587
     ("nrightarrow;" 8603)
1588
     ("nrtri;" 8939)
1589
     ("nrtrie;" 8941)
1590
     ("nsc;" 8833)
1591
     ("nsccue;" 8929)
1592
     ("nsce;" 10928 824)
1593
     ("nscr;" 120003)
1594
     ("nshortmid;" 8740)
1595
     ("nshortparallel;" 8742)
1596
     ("nsim;" 8769)
1597
     ("nsime;" 8772)
1598
     ("nsimeq;" 8772)
1599
     ("nsmid;" 8740)
1600
     ("nspar;" 8742)
1601
     ("nsqsube;" 8930)
1602
     ("nsqsupe;" 8931)
1603
     ("nsub;" 8836)
1604
     ("nsubE;" 10949 824)
1605
     ("nsube;" 8840)
1606
     ("nsubset;" 8834 8402)
1607
     ("nsubseteq;" 8840)
1608
     ("nsubseteqq;" 10949 824)
1609
     ("nsucc;" 8833)
1610
     ("nsucceq;" 10928 824)
1611
     ("nsup;" 8837)
1612
     ("nsupE;" 10950 824)
1613
     ("nsupe;" 8841)
1614
     ("nsupset;" 8835 8402)
1615
     ("nsupseteq;" 8841)
1616
     ("nsupseteqq;" 10950 824)
1617
     ("ntgl;" 8825)
1618
     ("ntilde" 241)
1619
     ("ntilde;" 241)
1620
     ("ntlg;" 8824)
1621
     ("ntriangleleft;" 8938)
1622
     ("ntrianglelefteq;" 8940)
1623
     ("ntriangleright;" 8939)
1624
     ("ntrianglerighteq;" 8941)
1625
     ("nu;" 957)
1626
     ("num;" 35)
1627
     ("numero;" 8470)
1628
     ("numsp;" 8199)
1629
     ("nvDash;" 8877)
1630
     ("nvHarr;" 10500)
1631
     ("nvap;" 8781 8402)
1632
     ("nvdash;" 8876)
1633
     ("nvge;" 8805 8402)
1634
     ("nvgt;" 62 8402)
1635
     ("nvinfin;" 10718)
1636
     ("nvlArr;" 10498)
1637
     ("nvle;" 8804 8402)
1638
     ("nvlt;" 60 8402)
1639
     ("nvltrie;" 8884 8402)
1640
     ("nvrArr;" 10499)
1641
     ("nvrtrie;" 8885 8402)
1642
     ("nvsim;" 8764 8402)
1643
     ("nwArr;" 8662)
1644
     ("nwarhk;" 10531)
1645
     ("nwarr;" 8598)
1646
     ("nwarrow;" 8598)
1647
     ("nwnear;" 10535)
1648
     ("oS;" 9416)
1649
     ("oacute" 243)
1650
     ("oacute;" 243)
1651
     ("oast;" 8859)
1652
     ("ocir;" 8858)
1653
     ("ocirc" 244)
1654
     ("ocirc;" 244)
1655
     ("ocy;" 1086)
1656
     ("odash;" 8861)
1657
     ("odblac;" 337)
1658
     ("odiv;" 10808)
1659
     ("odot;" 8857)
1660
     ("odsold;" 10684)
1661
     ("oelig;" 339)
1662
     ("ofcir;" 10687)
1663
     ("ofr;" 120108)
1664
     ("ogon;" 731)
1665
     ("ograve" 242)
1666
     ("ograve;" 242)
1667
     ("ogt;" 10689)
1668
     ("ohbar;" 10677)
1669
     ("ohm;" 937)
1670
     ("oint;" 8750)
1671
     ("olarr;" 8634)
1672
     ("olcir;" 10686)
1673
     ("olcross;" 10683)
1674
     ("oline;" 8254)
1675
     ("olt;" 10688)
1676
     ("omacr;" 333)
1677
     ("omega;" 969)
1678
     ("omicron;" 959)
1679
     ("omid;" 10678)
1680
     ("ominus;" 8854)
1681
     ("oopf;" 120160)
1682
     ("opar;" 10679)
1683
     ("operp;" 10681)
1684
     ("oplus;" 8853)
1685
     ("or;" 8744)
1686
     ("orarr;" 8635)
1687
     ("ord;" 10845)
1688
     ("order;" 8500)
1689
     ("orderof;" 8500)
1690
     ("ordf" 170)
1691
     ("ordf;" 170)
1692
     ("ordm" 186)
1693
     ("ordm;" 186)
1694
     ("origof;" 8886)
1695
     ("oror;" 10838)
1696
     ("orslope;" 10839)
1697
     ("orv;" 10843)
1698
     ("oscr;" 8500)
1699
     ("oslash" 248)
1700
     ("oslash;" 248)
1701
     ("osol;" 8856)
1702
     ("otilde" 245)
1703
     ("otilde;" 245)
1704
     ("otimes;" 8855)
1705
     ("otimesas;" 10806)
1706
     ("ouml" 246)
1707
     ("ouml;" 246)
1708
     ("ovbar;" 9021)
1709
     ("par;" 8741)
1710
     ("para" 182)
1711
     ("para;" 182)
1712
     ("parallel;" 8741)
1713
     ("parsim;" 10995)
1714
     ("parsl;" 11005)
1715
     ("part;" 8706)
1716
     ("pcy;" 1087)
1717
     ("percnt;" 37)
1718
     ("period;" 46)
1719
     ("permil;" 8240)
1720
     ("perp;" 8869)
1721
     ("pertenk;" 8241)
1722
     ("pfr;" 120109)
1723
     ("phi;" 966)
1724
     ("phiv;" 981)
1725
     ("phmmat;" 8499)
1726
     ("phone;" 9742)
1727
     ("pi;" 960)
1728
     ("pitchfork;" 8916)
1729
     ("piv;" 982)
1730
     ("planck;" 8463)
1731
     ("planckh;" 8462)
1732
     ("plankv;" 8463)
1733
     ("plus;" 43)
1734
     ("plusacir;" 10787)
1735
     ("plusb;" 8862)
1736
     ("pluscir;" 10786)
1737
     ("plusdo;" 8724)
1738
     ("plusdu;" 10789)
1739
     ("pluse;" 10866)
1740
     ("plusmn" 177)
1741
     ("plusmn;" 177)
1742
     ("plussim;" 10790)
1743
     ("plustwo;" 10791)
1744
     ("pm;" 177)
1745
     ("pointint;" 10773)
1746
     ("popf;" 120161)
1747
     ("pound" 163)
1748
     ("pound;" 163)
1749
     ("pr;" 8826)
1750
     ("prE;" 10931)
1751
     ("prap;" 10935)
1752
     ("prcue;" 8828)
1753
     ("pre;" 10927)
1754
     ("prec;" 8826)
1755
     ("precapprox;" 10935)
1756
     ("preccurlyeq;" 8828)
1757
     ("preceq;" 10927)
1758
     ("precnapprox;" 10937)
1759
     ("precneqq;" 10933)
1760
     ("precnsim;" 8936)
1761
     ("precsim;" 8830)
1762
     ("prime;" 8242)
1763
     ("primes;" 8473)
1764
     ("prnE;" 10933)
1765
     ("prnap;" 10937)
1766
     ("prnsim;" 8936)
1767
     ("prod;" 8719)
1768
     ("profalar;" 9006)
1769
     ("profline;" 8978)
1770
     ("profsurf;" 8979)
1771
     ("prop;" 8733)
1772
     ("propto;" 8733)
1773
     ("prsim;" 8830)
1774
     ("prurel;" 8880)
1775
     ("pscr;" 120005)
1776
     ("psi;" 968)
1777
     ("puncsp;" 8200)
1778
     ("qfr;" 120110)
1779
     ("qint;" 10764)
1780
     ("qopf;" 120162)
1781
     ("qprime;" 8279)
1782
     ("qscr;" 120006)
1783
     ("quaternions;" 8461)
1784
     ("quatint;" 10774)
1785
     ("quest;" 63)
1786
     ("questeq;" 8799)
1787
     ("quot" 34)
1788
     ("quot;" 34)
1789
     ("rAarr;" 8667)
1790
     ("rArr;" 8658)
1791
     ("rAtail;" 10524)
1792
     ("rBarr;" 10511)
1793
     ("rHar;" 10596)
1794
     ("race;" 8765 817)
1795
     ("racute;" 341)
1796
     ("radic;" 8730)
1797
     ("raemptyv;" 10675)
1798
     ("rang;" 10217)
1799
     ("rangd;" 10642)
1800
     ("range;" 10661)
1801
     ("rangle;" 10217)
1802
     ("raquo" 187)
1803
     ("raquo;" 187)
1804
     ("rarr;" 8594)
1805
     ("rarrap;" 10613)
1806
     ("rarrb;" 8677)
1807
     ("rarrbfs;" 10528)
1808
     ("rarrc;" 10547)
1809
     ("rarrfs;" 10526)
1810
     ("rarrhk;" 8618)
1811
     ("rarrlp;" 8620)
1812
     ("rarrpl;" 10565)
1813
     ("rarrsim;" 10612)
1814
     ("rarrtl;" 8611)
1815
     ("rarrw;" 8605)
1816
     ("ratail;" 10522)
1817
     ("ratio;" 8758)
1818
     ("rationals;" 8474)
1819
     ("rbarr;" 10509)
1820
     ("rbbrk;" 10099)
1821
     ("rbrace;" 125)
1822
     ("rbrack;" 93)
1823
     ("rbrke;" 10636)
1824
     ("rbrksld;" 10638)
1825
     ("rbrkslu;" 10640)
1826
     ("rcaron;" 345)
1827
     ("rcedil;" 343)
1828
     ("rceil;" 8969)
1829
     ("rcub;" 125)
1830
     ("rcy;" 1088)
1831
     ("rdca;" 10551)
1832
     ("rdldhar;" 10601)
1833
     ("rdquo;" 8221)
1834
     ("rdquor;" 8221)
1835
     ("rdsh;" 8627)
1836
     ("real;" 8476)
1837
     ("realine;" 8475)
1838
     ("realpart;" 8476)
1839
     ("reals;" 8477)
1840
     ("rect;" 9645)
1841
     ("reg" 174)
1842
     ("reg;" 174)
1843
     ("rfisht;" 10621)
1844
     ("rfloor;" 8971)
1845
     ("rfr;" 120111)
1846
     ("rhard;" 8641)
1847
     ("rharu;" 8640)
1848
     ("rharul;" 10604)
1849
     ("rho;" 961)
1850
     ("rhov;" 1009)
1851
     ("rightarrow;" 8594)
1852
     ("rightarrowtail;" 8611)
1853
     ("rightharpoondown;" 8641)
1854
     ("rightharpoonup;" 8640)
1855
     ("rightleftarrows;" 8644)
1856
     ("rightleftharpoons;" 8652)
1857
     ("rightrightarrows;" 8649)
1858
     ("rightsquigarrow;" 8605)
1859
     ("rightthreetimes;" 8908)
1860
     ("ring;" 730)
1861
     ("risingdotseq;" 8787)
1862
     ("rlarr;" 8644)
1863
     ("rlhar;" 8652)
1864
     ("rlm;" 8207)
1865
     ("rmoust;" 9137)
1866
     ("rmoustache;" 9137)
1867
     ("rnmid;" 10990)
1868
     ("roang;" 10221)
1869
     ("roarr;" 8702)
1870
     ("robrk;" 10215)
1871
     ("ropar;" 10630)
1872
     ("ropf;" 120163)
1873
     ("roplus;" 10798)
1874
     ("rotimes;" 10805)
1875
     ("rpar;" 41)
1876
     ("rpargt;" 10644)
1877
     ("rppolint;" 10770)
1878
     ("rrarr;" 8649)
1879
     ("rsaquo;" 8250)
1880
     ("rscr;" 120007)
1881
     ("rsh;" 8625)
1882
     ("rsqb;" 93)
1883
     ("rsquo;" 8217)
1884
     ("rsquor;" 8217)
1885
     ("rthree;" 8908)
1886
     ("rtimes;" 8906)
1887
     ("rtri;" 9657)
1888
     ("rtrie;" 8885)
1889
     ("rtrif;" 9656)
1890
     ("rtriltri;" 10702)
1891
     ("ruluhar;" 10600)
1892
     ("rx;" 8478)
1893
     ("sacute;" 347)
1894
     ("sbquo;" 8218)
1895
     ("sc;" 8827)
1896
     ("scE;" 10932)
1897
     ("scap;" 10936)
1898
     ("scaron;" 353)
1899
     ("sccue;" 8829)
1900
     ("sce;" 10928)
1901
     ("scedil;" 351)
1902
     ("scirc;" 349)
1903
     ("scnE;" 10934)
1904
     ("scnap;" 10938)
1905
     ("scnsim;" 8937)
1906
     ("scpolint;" 10771)
1907
     ("scsim;" 8831)
1908
     ("scy;" 1089)
1909
     ("sdot;" 8901)
1910
     ("sdotb;" 8865)
1911
     ("sdote;" 10854)
1912
     ("seArr;" 8664)
1913
     ("searhk;" 10533)
1914
     ("searr;" 8600)
1915
     ("searrow;" 8600)
1916
     ("sect" 167)
1917
     ("sect;" 167)
1918
     ("semi;" 59)
1919
     ("seswar;" 10537)
1920
     ("setminus;" 8726)
1921
     ("setmn;" 8726)
1922
     ("sext;" 10038)
1923
     ("sfr;" 120112)
1924
     ("sfrown;" 8994)
1925
     ("sharp;" 9839)
1926
     ("shchcy;" 1097)
1927
     ("shcy;" 1096)
1928
     ("shortmid;" 8739)
1929
     ("shortparallel;" 8741)
1930
     ("shy" 173)
1931
     ("shy;" 173)
1932
     ("sigma;" 963)
1933
     ("sigmaf;" 962)
1934
     ("sigmav;" 962)
1935
     ("sim;" 8764)
1936
     ("simdot;" 10858)
1937
     ("sime;" 8771)
1938
     ("simeq;" 8771)
1939
     ("simg;" 10910)
1940
     ("simgE;" 10912)
1941
     ("siml;" 10909)
1942
     ("simlE;" 10911)
1943
     ("simne;" 8774)
1944
     ("simplus;" 10788)
1945
     ("simrarr;" 10610)
1946
     ("slarr;" 8592)
1947
     ("smallsetminus;" 8726)
1948
     ("smashp;" 10803)
1949
     ("smeparsl;" 10724)
1950
     ("smid;" 8739)
1951
     ("smile;" 8995)
1952
     ("smt;" 10922)
1953
     ("smte;" 10924)
1954
     ("smtes;" 10924 65024)
1955
     ("softcy;" 1100)
1956
     ("sol;" 47)
1957
     ("solb;" 10692)
1958
     ("solbar;" 9023)
1959
     ("sopf;" 120164)
1960
     ("spades;" 9824)
1961
     ("spadesuit;" 9824)
1962
     ("spar;" 8741)
1963
     ("sqcap;" 8851)
1964
     ("sqcaps;" 8851 65024)
1965
     ("sqcup;" 8852)
1966
     ("sqcups;" 8852 65024)
1967
     ("sqsub;" 8847)
1968
     ("sqsube;" 8849)
1969
     ("sqsubset;" 8847)
1970
     ("sqsubseteq;" 8849)
1971
     ("sqsup;" 8848)
1972
     ("sqsupe;" 8850)
1973
     ("sqsupset;" 8848)
1974
     ("sqsupseteq;" 8850)
1975
     ("squ;" 9633)
1976
     ("square;" 9633)
1977
     ("squarf;" 9642)
1978
     ("squf;" 9642)
1979
     ("srarr;" 8594)
1980
     ("sscr;" 120008)
1981
     ("ssetmn;" 8726)
1982
     ("ssmile;" 8995)
1983
     ("sstarf;" 8902)
1984
     ("star;" 9734)
1985
     ("starf;" 9733)
1986
     ("straightepsilon;" 1013)
1987
     ("straightphi;" 981)
1988
     ("strns;" 175)
1989
     ("sub;" 8834)
1990
     ("subE;" 10949)
1991
     ("subdot;" 10941)
1992
     ("sube;" 8838)
1993
     ("subedot;" 10947)
1994
     ("submult;" 10945)
1995
     ("subnE;" 10955)
1996
     ("subne;" 8842)
1997
     ("subplus;" 10943)
1998
     ("subrarr;" 10617)
1999
     ("subset;" 8834)
2000
     ("subseteq;" 8838)
2001
     ("subseteqq;" 10949)
2002
     ("subsetneq;" 8842)
2003
     ("subsetneqq;" 10955)
2004
     ("subsim;" 10951)
2005
     ("subsub;" 10965)
2006
     ("subsup;" 10963)
2007
     ("succ;" 8827)
2008
     ("succapprox;" 10936)
2009
     ("succcurlyeq;" 8829)
2010
     ("succeq;" 10928)
2011
     ("succnapprox;" 10938)
2012
     ("succneqq;" 10934)
2013
     ("succnsim;" 8937)
2014
     ("succsim;" 8831)
2015
     ("sum;" 8721)
2016
     ("sung;" 9834)
2017
     ("sup1" 185)
2018
     ("sup1;" 185)
2019
     ("sup2" 178)
2020
     ("sup2;" 178)
2021
     ("sup3" 179)
2022
     ("sup3;" 179)
2023
     ("sup;" 8835)
2024
     ("supE;" 10950)
2025
     ("supdot;" 10942)
2026
     ("supdsub;" 10968)
2027
     ("supe;" 8839)
2028
     ("supedot;" 10948)
2029
     ("suphsol;" 10185)
2030
     ("suphsub;" 10967)
2031
     ("suplarr;" 10619)
2032
     ("supmult;" 10946)
2033
     ("supnE;" 10956)
2034
     ("supne;" 8843)
2035
     ("supplus;" 10944)
2036
     ("supset;" 8835)
2037
     ("supseteq;" 8839)
2038
     ("supseteqq;" 10950)
2039
     ("supsetneq;" 8843)
2040
     ("supsetneqq;" 10956)
2041
     ("supsim;" 10952)
2042
     ("supsub;" 10964)
2043
     ("supsup;" 10966)
2044
     ("swArr;" 8665)
2045
     ("swarhk;" 10534)
2046
     ("swarr;" 8601)
2047
     ("swarrow;" 8601)
2048
     ("swnwar;" 10538)
2049
     ("szlig" 223)
2050
     ("szlig;" 223)
2051
     ("target;" 8982)
2052
     ("tau;" 964)
2053
     ("tbrk;" 9140)
2054
     ("tcaron;" 357)
2055
     ("tcedil;" 355)
2056
     ("tcy;" 1090)
2057
     ("tdot;" 8411)
2058
     ("telrec;" 8981)
2059
     ("tfr;" 120113)
2060
     ("there4;" 8756)
2061
     ("therefore;" 8756)
2062
     ("theta;" 952)
2063
     ("thetasym;" 977)
2064
     ("thetav;" 977)
2065
     ("thickapprox;" 8776)
2066
     ("thicksim;" 8764)
2067
     ("thinsp;" 8201)
2068
     ("thkap;" 8776)
2069
     ("thksim;" 8764)
2070
     ("thorn" 254)
2071
     ("thorn;" 254)
2072
     ("tilde;" 732)
2073
     ("times" 215)
2074
     ("times;" 215)
2075
     ("timesb;" 8864)
2076
     ("timesbar;" 10801)
2077
     ("timesd;" 10800)
2078
     ("tint;" 8749)
2079
     ("toea;" 10536)
2080
     ("top;" 8868)
2081
     ("topbot;" 9014)
2082
     ("topcir;" 10993)
2083
     ("topf;" 120165)
2084
     ("topfork;" 10970)
2085
     ("tosa;" 10537)
2086
     ("tprime;" 8244)
2087
     ("trade;" 8482)
2088
     ("triangle;" 9653)
2089
     ("triangledown;" 9663)
2090
     ("triangleleft;" 9667)
2091
     ("trianglelefteq;" 8884)
2092
     ("triangleq;" 8796)
2093
     ("triangleright;" 9657)
2094
     ("trianglerighteq;" 8885)
2095
     ("tridot;" 9708)
2096
     ("trie;" 8796)
2097
     ("triminus;" 10810)
2098
     ("triplus;" 10809)
2099
     ("trisb;" 10701)
2100
     ("tritime;" 10811)
2101
     ("trpezium;" 9186)
2102
     ("tscr;" 120009)
2103
     ("tscy;" 1094)
2104
     ("tshcy;" 1115)
2105
     ("tstrok;" 359)
2106
     ("twixt;" 8812)
2107
     ("twoheadleftarrow;" 8606)
2108
     ("twoheadrightarrow;" 8608)
2109
     ("uArr;" 8657)
2110
     ("uHar;" 10595)
2111
     ("uacute" 250)
2112
     ("uacute;" 250)
2113
     ("uarr;" 8593)
2114
     ("ubrcy;" 1118)
2115
     ("ubreve;" 365)
2116
     ("ucirc" 251)
2117
     ("ucirc;" 251)
2118
     ("ucy;" 1091)
2119
     ("udarr;" 8645)
2120
     ("udblac;" 369)
2121
     ("udhar;" 10606)
2122
     ("ufisht;" 10622)
2123
     ("ufr;" 120114)
2124
     ("ugrave" 249)
2125
     ("ugrave;" 249)
2126
     ("uharl;" 8639)
2127
     ("uharr;" 8638)
2128
     ("uhblk;" 9600)
2129
     ("ulcorn;" 8988)
2130
     ("ulcorner;" 8988)
2131
     ("ulcrop;" 8975)
2132
     ("ultri;" 9720)
2133
     ("umacr;" 363)
2134
     ("uml" 168)
2135
     ("uml;" 168)
2136
     ("uogon;" 371)
2137
     ("uopf;" 120166)
2138
     ("uparrow;" 8593)
2139
     ("updownarrow;" 8597)
2140
     ("upharpoonleft;" 8639)
2141
     ("upharpoonright;" 8638)
2142
     ("uplus;" 8846)
2143
     ("upsi;" 965)
2144
     ("upsih;" 978)
2145
     ("upsilon;" 965)
2146
     ("upuparrows;" 8648)
2147
     ("urcorn;" 8989)
2148
     ("urcorner;" 8989)
2149
     ("urcrop;" 8974)
2150
     ("uring;" 367)
2151
     ("urtri;" 9721)
2152
     ("uscr;" 120010)
2153
     ("utdot;" 8944)
2154
     ("utilde;" 361)
2155
     ("utri;" 9653)
2156
     ("utrif;" 9652)
2157
     ("uuarr;" 8648)
2158
     ("uuml" 252)
2159
     ("uuml;" 252)
2160
     ("uwangle;" 10663)
2161
     ("vArr;" 8661)
2162
     ("vBar;" 10984)
2163
     ("vBarv;" 10985)
2164
     ("vDash;" 8872)
2165
     ("vangrt;" 10652)
2166
     ("varepsilon;" 1013)
2167
     ("varkappa;" 1008)
2168
     ("varnothing;" 8709)
2169
     ("varphi;" 981)
2170
     ("varpi;" 982)
2171
     ("varpropto;" 8733)
2172
     ("varr;" 8597)
2173
     ("varrho;" 1009)
2174
     ("varsigma;" 962)
2175
     ("varsubsetneq;" 8842 65024)
2176
     ("varsubsetneqq;" 10955 65024)
2177
     ("varsupsetneq;" 8843 65024)
2178
     ("varsupsetneqq;" 10956 65024)
2179
     ("vartheta;" 977)
2180
     ("vartriangleleft;" 8882)
2181
     ("vartriangleright;" 8883)
2182
     ("vcy;" 1074)
2183
     ("vdash;" 8866)
2184
     ("vee;" 8744)
2185
     ("veebar;" 8891)
2186
     ("veeeq;" 8794)
2187
     ("vellip;" 8942)
2188
     ("verbar;" 124)
2189
     ("vert;" 124)
2190
     ("vfr;" 120115)
2191
     ("vltri;" 8882)
2192
     ("vnsub;" 8834 8402)
2193
     ("vnsup;" 8835 8402)
2194
     ("vopf;" 120167)
2195
     ("vprop;" 8733)
2196
     ("vrtri;" 8883)
2197
     ("vscr;" 120011)
2198
     ("vsubnE;" 10955 65024)
2199
     ("vsubne;" 8842 65024)
2200
     ("vsupnE;" 10956 65024)
2201
     ("vsupne;" 8843 65024)
2202
     ("vzigzag;" 10650)
2203
     ("wcirc;" 373)
2204
     ("wedbar;" 10847)
2205
     ("wedge;" 8743)
2206
     ("wedgeq;" 8793)
2207
     ("weierp;" 8472)
2208
     ("wfr;" 120116)
2209
     ("wopf;" 120168)
2210
     ("wp;" 8472)
2211
     ("wr;" 8768)
2212
     ("wreath;" 8768)
2213
     ("wscr;" 120012)
2214
     ("xcap;" 8898)
2215
     ("xcirc;" 9711)
2216
     ("xcup;" 8899)
2217
     ("xdtri;" 9661)
2218
     ("xfr;" 120117)
2219
     ("xhArr;" 10234)
2220
     ("xharr;" 10231)
2221
     ("xi;" 958)
2222
     ("xlArr;" 10232)
2223
     ("xlarr;" 10229)
2224
     ("xmap;" 10236)
2225
     ("xnis;" 8955)
2226
     ("xodot;" 10752)
2227
     ("xopf;" 120169)
2228
     ("xoplus;" 10753)
2229
     ("xotime;" 10754)
2230
     ("xrArr;" 10233)
2231
     ("xrarr;" 10230)
2232
     ("xscr;" 120013)
2233
     ("xsqcup;" 10758)
2234
     ("xuplus;" 10756)
2235
     ("xutri;" 9651)
2236
     ("xvee;" 8897)
2237
     ("xwedge;" 8896)
2238
     ("yacute" 253)
2239
     ("yacute;" 253)
2240
     ("yacy;" 1103)
2241
     ("ycirc;" 375)
2242
     ("ycy;" 1099)
2243
     ("yen" 165)
2244
     ("yen;" 165)
2245
     ("yfr;" 120118)
2246
     ("yicy;" 1111)
2247
     ("yopf;" 120170)
2248
     ("yscr;" 120014)
2249
     ("yucy;" 1102)
2250
     ("yuml" 255)
2251
     ("yuml;" 255)
2252
     ("zacute;" 378)
2253
     ("zcaron;" 382)
2254
     ("zcy;" 1079)
2255
     ("zdot;" 380)
2256
     ("zeetrf;" 8488)
2257
     ("zeta;" 950)
2258
     ("zfr;" 120119)
2259
     ("zhcy;" 1078)
2260
     ("zigrarr;" 8669)
2261
     ("zopf;" 120171)
2262
     ("zscr;" 120015)
2263
     ("zwj;" 8205)
2264
     ("zwnj;" 8204)))
2265
 
2266
 (defparameter *entities-tree* (make-entities-trie *entities*))