changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > core / lisp/lib/dat/html/entity.lisp

changeset 698: 96958d3eb5b0
parent: a3b65a8138ac
author: Richard Westhaver <ellis@rwest.io>
date: Fri, 04 Oct 2024 22:04:59 -0400
permissions: -rw-r--r--
description: fixes 
     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*))