Source file entities.ml

let f = function
  | "AElig" -> [Uchar.of_int 198]
  | "AMP" -> [Uchar.of_int 38]
  | "Aacute" -> [Uchar.of_int 193]
  | "Abreve" -> [Uchar.of_int 258]
  | "Acirc" -> [Uchar.of_int 194]
  | "Acy" -> [Uchar.of_int 1040]
  | "Afr" -> [Uchar.of_int 120068]
  | "Agrave" -> [Uchar.of_int 192]
  | "Alpha" -> [Uchar.of_int 913]
  | "Amacr" -> [Uchar.of_int 256]
  | "And" -> [Uchar.of_int 10835]
  | "Aogon" -> [Uchar.of_int 260]
  | "Aopf" -> [Uchar.of_int 120120]
  | "ApplyFunction" -> [Uchar.of_int 8289]
  | "Aring" -> [Uchar.of_int 197]
  | "Ascr" -> [Uchar.of_int 119964]
  | "Assign" -> [Uchar.of_int 8788]
  | "Atilde" -> [Uchar.of_int 195]
  | "Auml" -> [Uchar.of_int 196]
  | "Backslash" -> [Uchar.of_int 8726]
  | "Barv" -> [Uchar.of_int 10983]
  | "Barwed" -> [Uchar.of_int 8966]
  | "Bcy" -> [Uchar.of_int 1041]
  | "Because" -> [Uchar.of_int 8757]
  | "Bernoullis" -> [Uchar.of_int 8492]
  | "Beta" -> [Uchar.of_int 914]
  | "Bfr" -> [Uchar.of_int 120069]
  | "Bopf" -> [Uchar.of_int 120121]
  | "Breve" -> [Uchar.of_int 728]
  | "Bscr" -> [Uchar.of_int 8492]
  | "Bumpeq" -> [Uchar.of_int 8782]
  | "CHcy" -> [Uchar.of_int 1063]
  | "COPY" -> [Uchar.of_int 169]
  | "Cacute" -> [Uchar.of_int 262]
  | "Cap" -> [Uchar.of_int 8914]
  | "CapitalDifferentialD" -> [Uchar.of_int 8517]
  | "Cayleys" -> [Uchar.of_int 8493]
  | "Ccaron" -> [Uchar.of_int 268]
  | "Ccedil" -> [Uchar.of_int 199]
  | "Ccirc" -> [Uchar.of_int 264]
  | "Cconint" -> [Uchar.of_int 8752]
  | "Cdot" -> [Uchar.of_int 266]
  | "Cedilla" -> [Uchar.of_int 184]
  | "CenterDot" -> [Uchar.of_int 183]
  | "Cfr" -> [Uchar.of_int 8493]
  | "Chi" -> [Uchar.of_int 935]
  | "CircleDot" -> [Uchar.of_int 8857]
  | "CircleMinus" -> [Uchar.of_int 8854]
  | "CirclePlus" -> [Uchar.of_int 8853]
  | "CircleTimes" -> [Uchar.of_int 8855]
  | "ClockwiseContourIntegral" -> [Uchar.of_int 8754]
  | "CloseCurlyDoubleQuote" -> [Uchar.of_int 8221]
  | "CloseCurlyQuote" -> [Uchar.of_int 8217]
  | "Colon" -> [Uchar.of_int 8759]
  | "Colone" -> [Uchar.of_int 10868]
  | "Congruent" -> [Uchar.of_int 8801]
  | "Conint" -> [Uchar.of_int 8751]
  | "ContourIntegral" -> [Uchar.of_int 8750]
  | "Copf" -> [Uchar.of_int 8450]
  | "Coproduct" -> [Uchar.of_int 8720]
  | "CounterClockwiseContourIntegral" -> [Uchar.of_int 8755]
  | "Cross" -> [Uchar.of_int 10799]
  | "Cscr" -> [Uchar.of_int 119966]
  | "Cup" -> [Uchar.of_int 8915]
  | "CupCap" -> [Uchar.of_int 8781]
  | "DD" -> [Uchar.of_int 8517]
  | "DDotrahd" -> [Uchar.of_int 10513]
  | "DJcy" -> [Uchar.of_int 1026]
  | "DScy" -> [Uchar.of_int 1029]
  | "DZcy" -> [Uchar.of_int 1039]
  | "Dagger" -> [Uchar.of_int 8225]
  | "Darr" -> [Uchar.of_int 8609]
  | "Dashv" -> [Uchar.of_int 10980]
  | "Dcaron" -> [Uchar.of_int 270]
  | "Dcy" -> [Uchar.of_int 1044]
  | "Del" -> [Uchar.of_int 8711]
  | "Delta" -> [Uchar.of_int 916]
  | "Dfr" -> [Uchar.of_int 120071]
  | "DiacriticalAcute" -> [Uchar.of_int 180]
  | "DiacriticalDot" -> [Uchar.of_int 729]
  | "DiacriticalDoubleAcute" -> [Uchar.of_int 733]
  | "DiacriticalGrave" -> [Uchar.of_int 96]
  | "DiacriticalTilde" -> [Uchar.of_int 732]
  | "Diamond" -> [Uchar.of_int 8900]
  | "DifferentialD" -> [Uchar.of_int 8518]
  | "Dopf" -> [Uchar.of_int 120123]
  | "Dot" -> [Uchar.of_int 168]
  | "DotDot" -> [Uchar.of_int 8412]
  | "DotEqual" -> [Uchar.of_int 8784]
  | "DoubleContourIntegral" -> [Uchar.of_int 8751]
  | "DoubleDot" -> [Uchar.of_int 168]
  | "DoubleDownArrow" -> [Uchar.of_int 8659]
  | "DoubleLeftArrow" -> [Uchar.of_int 8656]
  | "DoubleLeftRightArrow" -> [Uchar.of_int 8660]
  | "DoubleLeftTee" -> [Uchar.of_int 10980]
  | "DoubleLongLeftArrow" -> [Uchar.of_int 10232]
  | "DoubleLongLeftRightArrow" -> [Uchar.of_int 10234]
  | "DoubleLongRightArrow" -> [Uchar.of_int 10233]
  | "DoubleRightArrow" -> [Uchar.of_int 8658]
  | "DoubleRightTee" -> [Uchar.of_int 8872]
  | "DoubleUpArrow" -> [Uchar.of_int 8657]
  | "DoubleUpDownArrow" -> [Uchar.of_int 8661]
  | "DoubleVerticalBar" -> [Uchar.of_int 8741]
  | "DownArrow" -> [Uchar.of_int 8595]
  | "DownArrowBar" -> [Uchar.of_int 10515]
  | "DownArrowUpArrow" -> [Uchar.of_int 8693]
  | "DownBreve" -> [Uchar.of_int 785]
  | "DownLeftRightVector" -> [Uchar.of_int 10576]
  | "DownLeftTeeVector" -> [Uchar.of_int 10590]
  | "DownLeftVector" -> [Uchar.of_int 8637]
  | "DownLeftVectorBar" -> [Uchar.of_int 10582]
  | "DownRightTeeVector" -> [Uchar.of_int 10591]
  | "DownRightVector" -> [Uchar.of_int 8641]
  | "DownRightVectorBar" -> [Uchar.of_int 10583]
  | "DownTee" -> [Uchar.of_int 8868]
  | "DownTeeArrow" -> [Uchar.of_int 8615]
  | "Downarrow" -> [Uchar.of_int 8659]
  | "Dscr" -> [Uchar.of_int 119967]
  | "Dstrok" -> [Uchar.of_int 272]
  | "ENG" -> [Uchar.of_int 330]
  | "ETH" -> [Uchar.of_int 208]
  | "Eacute" -> [Uchar.of_int 201]
  | "Ecaron" -> [Uchar.of_int 282]
  | "Ecirc" -> [Uchar.of_int 202]
  | "Ecy" -> [Uchar.of_int 1069]
  | "Edot" -> [Uchar.of_int 278]
  | "Efr" -> [Uchar.of_int 120072]
  | "Egrave" -> [Uchar.of_int 200]
  | "Element" -> [Uchar.of_int 8712]
  | "Emacr" -> [Uchar.of_int 274]
  | "EmptySmallSquare" -> [Uchar.of_int 9723]
  | "EmptyVerySmallSquare" -> [Uchar.of_int 9643]
  | "Eogon" -> [Uchar.of_int 280]
  | "Eopf" -> [Uchar.of_int 120124]
  | "Epsilon" -> [Uchar.of_int 917]
  | "Equal" -> [Uchar.of_int 10869]
  | "EqualTilde" -> [Uchar.of_int 8770]
  | "Equilibrium" -> [Uchar.of_int 8652]
  | "Escr" -> [Uchar.of_int 8496]
  | "Esim" -> [Uchar.of_int 10867]
  | "Eta" -> [Uchar.of_int 919]
  | "Euml" -> [Uchar.of_int 203]
  | "Exists" -> [Uchar.of_int 8707]
  | "ExponentialE" -> [Uchar.of_int 8519]
  | "Fcy" -> [Uchar.of_int 1060]
  | "Ffr" -> [Uchar.of_int 120073]
  | "FilledSmallSquare" -> [Uchar.of_int 9724]
  | "FilledVerySmallSquare" -> [Uchar.of_int 9642]
  | "Fopf" -> [Uchar.of_int 120125]
  | "ForAll" -> [Uchar.of_int 8704]
  | "Fouriertrf" -> [Uchar.of_int 8497]
  | "Fscr" -> [Uchar.of_int 8497]
  | "GJcy" -> [Uchar.of_int 1027]
  | "GT" -> [Uchar.of_int 62]
  | "Gamma" -> [Uchar.of_int 915]
  | "Gammad" -> [Uchar.of_int 988]
  | "Gbreve" -> [Uchar.of_int 286]
  | "Gcedil" -> [Uchar.of_int 290]
  | "Gcirc" -> [Uchar.of_int 284]
  | "Gcy" -> [Uchar.of_int 1043]
  | "Gdot" -> [Uchar.of_int 288]
  | "Gfr" -> [Uchar.of_int 120074]
  | "Gg" -> [Uchar.of_int 8921]
  | "Gopf" -> [Uchar.of_int 120126]
  | "GreaterEqual" -> [Uchar.of_int 8805]
  | "GreaterEqualLess" -> [Uchar.of_int 8923]
  | "GreaterFullEqual" -> [Uchar.of_int 8807]
  | "GreaterGreater" -> [Uchar.of_int 10914]
  | "GreaterLess" -> [Uchar.of_int 8823]
  | "GreaterSlantEqual" -> [Uchar.of_int 10878]
  | "GreaterTilde" -> [Uchar.of_int 8819]
  | "Gscr" -> [Uchar.of_int 119970]
  | "Gt" -> [Uchar.of_int 8811]
  | "HARDcy" -> [Uchar.of_int 1066]
  | "Hacek" -> [Uchar.of_int 711]
  | "Hat" -> [Uchar.of_int 94]
  | "Hcirc" -> [Uchar.of_int 292]
  | "Hfr" -> [Uchar.of_int 8460]
  | "HilbertSpace" -> [Uchar.of_int 8459]
  | "Hopf" -> [Uchar.of_int 8461]
  | "HorizontalLine" -> [Uchar.of_int 9472]
  | "Hscr" -> [Uchar.of_int 8459]
  | "Hstrok" -> [Uchar.of_int 294]
  | "HumpDownHump" -> [Uchar.of_int 8782]
  | "HumpEqual" -> [Uchar.of_int 8783]
  | "IEcy" -> [Uchar.of_int 1045]
  | "IJlig" -> [Uchar.of_int 306]
  | "IOcy" -> [Uchar.of_int 1025]
  | "Iacute" -> [Uchar.of_int 205]
  | "Icirc" -> [Uchar.of_int 206]
  | "Icy" -> [Uchar.of_int 1048]
  | "Idot" -> [Uchar.of_int 304]
  | "Ifr" -> [Uchar.of_int 8465]
  | "Igrave" -> [Uchar.of_int 204]
  | "Im" -> [Uchar.of_int 8465]
  | "Imacr" -> [Uchar.of_int 298]
  | "ImaginaryI" -> [Uchar.of_int 8520]
  | "Implies" -> [Uchar.of_int 8658]
  | "Int" -> [Uchar.of_int 8748]
  | "Integral" -> [Uchar.of_int 8747]
  | "Intersection" -> [Uchar.of_int 8898]
  | "InvisibleComma" -> [Uchar.of_int 8291]
  | "InvisibleTimes" -> [Uchar.of_int 8290]
  | "Iogon" -> [Uchar.of_int 302]
  | "Iopf" -> [Uchar.of_int 120128]
  | "Iota" -> [Uchar.of_int 921]
  | "Iscr" -> [Uchar.of_int 8464]
  | "Itilde" -> [Uchar.of_int 296]
  | "Iukcy" -> [Uchar.of_int 1030]
  | "Iuml" -> [Uchar.of_int 207]
  | "Jcirc" -> [Uchar.of_int 308]
  | "Jcy" -> [Uchar.of_int 1049]
  | "Jfr" -> [Uchar.of_int 120077]
  | "Jopf" -> [Uchar.of_int 120129]
  | "Jscr" -> [Uchar.of_int 119973]
  | "Jsercy" -> [Uchar.of_int 1032]
  | "Jukcy" -> [Uchar.of_int 1028]
  | "KHcy" -> [Uchar.of_int 1061]
  | "KJcy" -> [Uchar.of_int 1036]
  | "Kappa" -> [Uchar.of_int 922]
  | "Kcedil" -> [Uchar.of_int 310]
  | "Kcy" -> [Uchar.of_int 1050]
  | "Kfr" -> [Uchar.of_int 120078]
  | "Kopf" -> [Uchar.of_int 120130]
  | "Kscr" -> [Uchar.of_int 119974]
  | "LJcy" -> [Uchar.of_int 1033]
  | "LT" -> [Uchar.of_int 60]
  | "Lacute" -> [Uchar.of_int 313]
  | "Lambda" -> [Uchar.of_int 923]
  | "Lang" -> [Uchar.of_int 10218]
  | "Laplacetrf" -> [Uchar.of_int 8466]
  | "Larr" -> [Uchar.of_int 8606]
  | "Lcaron" -> [Uchar.of_int 317]
  | "Lcedil" -> [Uchar.of_int 315]
  | "Lcy" -> [Uchar.of_int 1051]
  | "LeftAngleBracket" -> [Uchar.of_int 10216]
  | "LeftArrow" -> [Uchar.of_int 8592]
  | "LeftArrowBar" -> [Uchar.of_int 8676]
  | "LeftArrowRightArrow" -> [Uchar.of_int 8646]
  | "LeftCeiling" -> [Uchar.of_int 8968]
  | "LeftDoubleBracket" -> [Uchar.of_int 10214]
  | "LeftDownTeeVector" -> [Uchar.of_int 10593]
  | "LeftDownVector" -> [Uchar.of_int 8643]
  | "LeftDownVectorBar" -> [Uchar.of_int 10585]
  | "LeftFloor" -> [Uchar.of_int 8970]
  | "LeftRightArrow" -> [Uchar.of_int 8596]
  | "LeftRightVector" -> [Uchar.of_int 10574]
  | "LeftTee" -> [Uchar.of_int 8867]
  | "LeftTeeArrow" -> [Uchar.of_int 8612]
  | "LeftTeeVector" -> [Uchar.of_int 10586]
  | "LeftTriangle" -> [Uchar.of_int 8882]
  | "LeftTriangleBar" -> [Uchar.of_int 10703]
  | "LeftTriangleEqual" -> [Uchar.of_int 8884]
  | "LeftUpDownVector" -> [Uchar.of_int 10577]
  | "LeftUpTeeVector" -> [Uchar.of_int 10592]
  | "LeftUpVector" -> [Uchar.of_int 8639]
  | "LeftUpVectorBar" -> [Uchar.of_int 10584]
  | "LeftVector" -> [Uchar.of_int 8636]
  | "LeftVectorBar" -> [Uchar.of_int 10578]
  | "Leftarrow" -> [Uchar.of_int 8656]
  | "Leftrightarrow" -> [Uchar.of_int 8660]
  | "LessEqualGreater" -> [Uchar.of_int 8922]
  | "LessFullEqual" -> [Uchar.of_int 8806]
  | "LessGreater" -> [Uchar.of_int 8822]
  | "LessLess" -> [Uchar.of_int 10913]
  | "LessSlantEqual" -> [Uchar.of_int 10877]
  | "LessTilde" -> [Uchar.of_int 8818]
  | "Lfr" -> [Uchar.of_int 120079]
  | "Ll" -> [Uchar.of_int 8920]
  | "Lleftarrow" -> [Uchar.of_int 8666]
  | "Lmidot" -> [Uchar.of_int 319]
  | "LongLeftArrow" -> [Uchar.of_int 10229]
  | "LongLeftRightArrow" -> [Uchar.of_int 10231]
  | "LongRightArrow" -> [Uchar.of_int 10230]
  | "Longleftarrow" -> [Uchar.of_int 10232]
  | "Longleftrightarrow" -> [Uchar.of_int 10234]
  | "Longrightarrow" -> [Uchar.of_int 10233]
  | "Lopf" -> [Uchar.of_int 120131]
  | "LowerLeftArrow" -> [Uchar.of_int 8601]
  | "LowerRightArrow" -> [Uchar.of_int 8600]
  | "Lscr" -> [Uchar.of_int 8466]
  | "Lsh" -> [Uchar.of_int 8624]
  | "Lstrok" -> [Uchar.of_int 321]
  | "Lt" -> [Uchar.of_int 8810]
  | "Map" -> [Uchar.of_int 10501]
  | "Mcy" -> [Uchar.of_int 1052]
  | "MediumSpace" -> [Uchar.of_int 8287]
  | "Mellintrf" -> [Uchar.of_int 8499]
  | "Mfr" -> [Uchar.of_int 120080]
  | "MinusPlus" -> [Uchar.of_int 8723]
  | "Mopf" -> [Uchar.of_int 120132]
  | "Mscr" -> [Uchar.of_int 8499]
  | "Mu" -> [Uchar.of_int 924]
  | "NJcy" -> [Uchar.of_int 1034]
  | "Nacute" -> [Uchar.of_int 323]
  | "Ncaron" -> [Uchar.of_int 327]
  | "Ncedil" -> [Uchar.of_int 325]
  | "Ncy" -> [Uchar.of_int 1053]
  | "NegativeMediumSpace" -> [Uchar.of_int 8203]
  | "NegativeThickSpace" -> [Uchar.of_int 8203]
  | "NegativeThinSpace" -> [Uchar.of_int 8203]
  | "NegativeVeryThinSpace" -> [Uchar.of_int 8203]
  | "NestedGreaterGreater" -> [Uchar.of_int 8811]
  | "NestedLessLess" -> [Uchar.of_int 8810]
  | "NewLine" -> [Uchar.of_int 10]
  | "Nfr" -> [Uchar.of_int 120081]
  | "NoBreak" -> [Uchar.of_int 8288]
  | "NonBreakingSpace" -> [Uchar.of_int 160]
  | "Nopf" -> [Uchar.of_int 8469]
  | "Not" -> [Uchar.of_int 10988]
  | "NotCongruent" -> [Uchar.of_int 8802]
  | "NotCupCap" -> [Uchar.of_int 8813]
  | "NotDoubleVerticalBar" -> [Uchar.of_int 8742]
  | "NotElement" -> [Uchar.of_int 8713]
  | "NotEqual" -> [Uchar.of_int 8800]
  | "NotEqualTilde" -> [Uchar.of_int 8770; Uchar.of_int 824]
  | "NotExists" -> [Uchar.of_int 8708]
  | "NotGreater" -> [Uchar.of_int 8815]
  | "NotGreaterEqual" -> [Uchar.of_int 8817]
  | "NotGreaterFullEqual" -> [Uchar.of_int 8807; Uchar.of_int 824]
  | "NotGreaterGreater" -> [Uchar.of_int 8811; Uchar.of_int 824]
  | "NotGreaterLess" -> [Uchar.of_int 8825]
  | "NotGreaterSlantEqual" -> [Uchar.of_int 10878; Uchar.of_int 824]
  | "NotGreaterTilde" -> [Uchar.of_int 8821]
  | "NotHumpDownHump" -> [Uchar.of_int 8782; Uchar.of_int 824]
  | "NotHumpEqual" -> [Uchar.of_int 8783; Uchar.of_int 824]
  | "NotLeftTriangle" -> [Uchar.of_int 8938]
  | "NotLeftTriangleBar" -> [Uchar.of_int 10703; Uchar.of_int 824]
  | "NotLeftTriangleEqual" -> [Uchar.of_int 8940]
  | "NotLess" -> [Uchar.of_int 8814]
  | "NotLessEqual" -> [Uchar.of_int 8816]
  | "NotLessGreater" -> [Uchar.of_int 8824]
  | "NotLessLess" -> [Uchar.of_int 8810; Uchar.of_int 824]
  | "NotLessSlantEqual" -> [Uchar.of_int 10877; Uchar.of_int 824]
  | "NotLessTilde" -> [Uchar.of_int 8820]
  | "NotNestedGreaterGreater" -> [Uchar.of_int 10914; Uchar.of_int 824]
  | "NotNestedLessLess" -> [Uchar.of_int 10913; Uchar.of_int 824]
  | "NotPrecedes" -> [Uchar.of_int 8832]
  | "NotPrecedesEqual" -> [Uchar.of_int 10927; Uchar.of_int 824]
  | "NotPrecedesSlantEqual" -> [Uchar.of_int 8928]
  | "NotReverseElement" -> [Uchar.of_int 8716]
  | "NotRightTriangle" -> [Uchar.of_int 8939]
  | "NotRightTriangleBar" -> [Uchar.of_int 10704; Uchar.of_int 824]
  | "NotRightTriangleEqual" -> [Uchar.of_int 8941]
  | "NotSquareSubset" -> [Uchar.of_int 8847; Uchar.of_int 824]
  | "NotSquareSubsetEqual" -> [Uchar.of_int 8930]
  | "NotSquareSuperset" -> [Uchar.of_int 8848; Uchar.of_int 824]
  | "NotSquareSupersetEqual" -> [Uchar.of_int 8931]
  | "NotSubset" -> [Uchar.of_int 8834; Uchar.of_int 8402]
  | "NotSubsetEqual" -> [Uchar.of_int 8840]
  | "NotSucceeds" -> [Uchar.of_int 8833]
  | "NotSucceedsEqual" -> [Uchar.of_int 10928; Uchar.of_int 824]
  | "NotSucceedsSlantEqual" -> [Uchar.of_int 8929]
  | "NotSucceedsTilde" -> [Uchar.of_int 8831; Uchar.of_int 824]
  | "NotSuperset" -> [Uchar.of_int 8835; Uchar.of_int 8402]
  | "NotSupersetEqual" -> [Uchar.of_int 8841]
  | "NotTilde" -> [Uchar.of_int 8769]
  | "NotTildeEqual" -> [Uchar.of_int 8772]
  | "NotTildeFullEqual" -> [Uchar.of_int 8775]
  | "NotTildeTilde" -> [Uchar.of_int 8777]
  | "NotVerticalBar" -> [Uchar.of_int 8740]
  | "Nscr" -> [Uchar.of_int 119977]
  | "Ntilde" -> [Uchar.of_int 209]
  | "Nu" -> [Uchar.of_int 925]
  | "OElig" -> [Uchar.of_int 338]
  | "Oacute" -> [Uchar.of_int 211]
  | "Ocirc" -> [Uchar.of_int 212]
  | "Ocy" -> [Uchar.of_int 1054]
  | "Odblac" -> [Uchar.of_int 336]
  | "Ofr" -> [Uchar.of_int 120082]
  | "Ograve" -> [Uchar.of_int 210]
  | "Omacr" -> [Uchar.of_int 332]
  | "Omega" -> [Uchar.of_int 937]
  | "Omicron" -> [Uchar.of_int 927]
  | "Oopf" -> [Uchar.of_int 120134]
  | "OpenCurlyDoubleQuote" -> [Uchar.of_int 8220]
  | "OpenCurlyQuote" -> [Uchar.of_int 8216]
  | "Or" -> [Uchar.of_int 10836]
  | "Oscr" -> [Uchar.of_int 119978]
  | "Oslash" -> [Uchar.of_int 216]
  | "Otilde" -> [Uchar.of_int 213]
  | "Otimes" -> [Uchar.of_int 10807]
  | "Ouml" -> [Uchar.of_int 214]
  | "OverBar" -> [Uchar.of_int 8254]
  | "OverBrace" -> [Uchar.of_int 9182]
  | "OverBracket" -> [Uchar.of_int 9140]
  | "OverParenthesis" -> [Uchar.of_int 9180]
  | "PartialD" -> [Uchar.of_int 8706]
  | "Pcy" -> [Uchar.of_int 1055]
  | "Pfr" -> [Uchar.of_int 120083]
  | "Phi" -> [Uchar.of_int 934]
  | "Pi" -> [Uchar.of_int 928]
  | "PlusMinus" -> [Uchar.of_int 177]
  | "Poincareplane" -> [Uchar.of_int 8460]
  | "Popf" -> [Uchar.of_int 8473]
  | "Pr" -> [Uchar.of_int 10939]
  | "Precedes" -> [Uchar.of_int 8826]
  | "PrecedesEqual" -> [Uchar.of_int 10927]
  | "PrecedesSlantEqual" -> [Uchar.of_int 8828]
  | "PrecedesTilde" -> [Uchar.of_int 8830]
  | "Prime" -> [Uchar.of_int 8243]
  | "Product" -> [Uchar.of_int 8719]
  | "Proportion" -> [Uchar.of_int 8759]
  | "Proportional" -> [Uchar.of_int 8733]
  | "Pscr" -> [Uchar.of_int 119979]
  | "Psi" -> [Uchar.of_int 936]
  | "QUOT" -> [Uchar.of_int 34]
  | "Qfr" -> [Uchar.of_int 120084]
  | "Qopf" -> [Uchar.of_int 8474]
  | "Qscr" -> [Uchar.of_int 119980]
  | "RBarr" -> [Uchar.of_int 10512]
  | "REG" -> [Uchar.of_int 174]
  | "Racute" -> [Uchar.of_int 340]
  | "Rang" -> [Uchar.of_int 10219]
  | "Rarr" -> [Uchar.of_int 8608]
  | "Rarrtl" -> [Uchar.of_int 10518]
  | "Rcaron" -> [Uchar.of_int 344]
  | "Rcedil" -> [Uchar.of_int 342]
  | "Rcy" -> [Uchar.of_int 1056]
  | "Re" -> [Uchar.of_int 8476]
  | "ReverseElement" -> [Uchar.of_int 8715]
  | "ReverseEquilibrium" -> [Uchar.of_int 8651]
  | "ReverseUpEquilibrium" -> [Uchar.of_int 10607]
  | "Rfr" -> [Uchar.of_int 8476]
  | "Rho" -> [Uchar.of_int 929]
  | "RightAngleBracket" -> [Uchar.of_int 10217]
  | "RightArrow" -> [Uchar.of_int 8594]
  | "RightArrowBar" -> [Uchar.of_int 8677]
  | "RightArrowLeftArrow" -> [Uchar.of_int 8644]
  | "RightCeiling" -> [Uchar.of_int 8969]
  | "RightDoubleBracket" -> [Uchar.of_int 10215]
  | "RightDownTeeVector" -> [Uchar.of_int 10589]
  | "RightDownVector" -> [Uchar.of_int 8642]
  | "RightDownVectorBar" -> [Uchar.of_int 10581]
  | "RightFloor" -> [Uchar.of_int 8971]
  | "RightTee" -> [Uchar.of_int 8866]
  | "RightTeeArrow" -> [Uchar.of_int 8614]
  | "RightTeeVector" -> [Uchar.of_int 10587]
  | "RightTriangle" -> [Uchar.of_int 8883]
  | "RightTriangleBar" -> [Uchar.of_int 10704]
  | "RightTriangleEqual" -> [Uchar.of_int 8885]
  | "RightUpDownVector" -> [Uchar.of_int 10575]
  | "RightUpTeeVector" -> [Uchar.of_int 10588]
  | "RightUpVector" -> [Uchar.of_int 8638]
  | "RightUpVectorBar" -> [Uchar.of_int 10580]
  | "RightVector" -> [Uchar.of_int 8640]
  | "RightVectorBar" -> [Uchar.of_int 10579]
  | "Rightarrow" -> [Uchar.of_int 8658]
  | "Ropf" -> [Uchar.of_int 8477]
  | "RoundImplies" -> [Uchar.of_int 10608]
  | "Rrightarrow" -> [Uchar.of_int 8667]
  | "Rscr" -> [Uchar.of_int 8475]
  | "Rsh" -> [Uchar.of_int 8625]
  | "RuleDelayed" -> [Uchar.of_int 10740]
  | "SHCHcy" -> [Uchar.of_int 1065]
  | "SHcy" -> [Uchar.of_int 1064]
  | "SOFTcy" -> [Uchar.of_int 1068]
  | "Sacute" -> [Uchar.of_int 346]
  | "Sc" -> [Uchar.of_int 10940]
  | "Scaron" -> [Uchar.of_int 352]
  | "Scedil" -> [Uchar.of_int 350]
  | "Scirc" -> [Uchar.of_int 348]
  | "Scy" -> [Uchar.of_int 1057]
  | "Sfr" -> [Uchar.of_int 120086]
  | "ShortDownArrow" -> [Uchar.of_int 8595]
  | "ShortLeftArrow" -> [Uchar.of_int 8592]
  | "ShortRightArrow" -> [Uchar.of_int 8594]
  | "ShortUpArrow" -> [Uchar.of_int 8593]
  | "Sigma" -> [Uchar.of_int 931]
  | "SmallCircle" -> [Uchar.of_int 8728]
  | "Sopf" -> [Uchar.of_int 120138]
  | "Sqrt" -> [Uchar.of_int 8730]
  | "Square" -> [Uchar.of_int 9633]
  | "SquareIntersection" -> [Uchar.of_int 8851]
  | "SquareSubset" -> [Uchar.of_int 8847]
  | "SquareSubsetEqual" -> [Uchar.of_int 8849]
  | "SquareSuperset" -> [Uchar.of_int 8848]
  | "SquareSupersetEqual" -> [Uchar.of_int 8850]
  | "SquareUnion" -> [Uchar.of_int 8852]
  | "Sscr" -> [Uchar.of_int 119982]
  | "Star" -> [Uchar.of_int 8902]
  | "Sub" -> [Uchar.of_int 8912]
  | "Subset" -> [Uchar.of_int 8912]
  | "SubsetEqual" -> [Uchar.of_int 8838]
  | "Succeeds" -> [Uchar.of_int 8827]
  | "SucceedsEqual" -> [Uchar.of_int 10928]
  | "SucceedsSlantEqual" -> [Uchar.of_int 8829]
  | "SucceedsTilde" -> [Uchar.of_int 8831]
  | "SuchThat" -> [Uchar.of_int 8715]
  | "Sum" -> [Uchar.of_int 8721]
  | "Sup" -> [Uchar.of_int 8913]
  | "Superset" -> [Uchar.of_int 8835]
  | "SupersetEqual" -> [Uchar.of_int 8839]
  | "Supset" -> [Uchar.of_int 8913]
  | "THORN" -> [Uchar.of_int 222]
  | "TRADE" -> [Uchar.of_int 8482]
  | "TSHcy" -> [Uchar.of_int 1035]
  | "TScy" -> [Uchar.of_int 1062]
  | "Tab" -> [Uchar.of_int 9]
  | "Tau" -> [Uchar.of_int 932]
  | "Tcaron" -> [Uchar.of_int 356]
  | "Tcedil" -> [Uchar.of_int 354]
  | "Tcy" -> [Uchar.of_int 1058]
  | "Tfr" -> [Uchar.of_int 120087]
  | "Therefore" -> [Uchar.of_int 8756]
  | "Theta" -> [Uchar.of_int 920]
  | "ThickSpace" -> [Uchar.of_int 8287; Uchar.of_int 8202]
  | "ThinSpace" -> [Uchar.of_int 8201]
  | "Tilde" -> [Uchar.of_int 8764]
  | "TildeEqual" -> [Uchar.of_int 8771]
  | "TildeFullEqual" -> [Uchar.of_int 8773]
  | "TildeTilde" -> [Uchar.of_int 8776]
  | "Topf" -> [Uchar.of_int 120139]
  | "TripleDot" -> [Uchar.of_int 8411]
  | "Tscr" -> [Uchar.of_int 119983]
  | "Tstrok" -> [Uchar.of_int 358]
  | "Uacute" -> [Uchar.of_int 218]
  | "Uarr" -> [Uchar.of_int 8607]
  | "Uarrocir" -> [Uchar.of_int 10569]
  | "Ubrcy" -> [Uchar.of_int 1038]
  | "Ubreve" -> [Uchar.of_int 364]
  | "Ucirc" -> [Uchar.of_int 219]
  | "Ucy" -> [Uchar.of_int 1059]
  | "Udblac" -> [Uchar.of_int 368]
  | "Ufr" -> [Uchar.of_int 120088]
  | "Ugrave" -> [Uchar.of_int 217]
  | "Umacr" -> [Uchar.of_int 362]
  | "UnderBar" -> [Uchar.of_int 95]
  | "UnderBrace" -> [Uchar.of_int 9183]
  | "UnderBracket" -> [Uchar.of_int 9141]
  | "UnderParenthesis" -> [Uchar.of_int 9181]
  | "Union" -> [Uchar.of_int 8899]
  | "UnionPlus" -> [Uchar.of_int 8846]
  | "Uogon" -> [Uchar.of_int 370]
  | "Uopf" -> [Uchar.of_int 120140]
  | "UpArrow" -> [Uchar.of_int 8593]
  | "UpArrowBar" -> [Uchar.of_int 10514]
  | "UpArrowDownArrow" -> [Uchar.of_int 8645]
  | "UpDownArrow" -> [Uchar.of_int 8597]
  | "UpEquilibrium" -> [Uchar.of_int 10606]
  | "UpTee" -> [Uchar.of_int 8869]
  | "UpTeeArrow" -> [Uchar.of_int 8613]
  | "Uparrow" -> [Uchar.of_int 8657]
  | "Updownarrow" -> [Uchar.of_int 8661]
  | "UpperLeftArrow" -> [Uchar.of_int 8598]
  | "UpperRightArrow" -> [Uchar.of_int 8599]
  | "Upsi" -> [Uchar.of_int 978]
  | "Upsilon" -> [Uchar.of_int 933]
  | "Uring" -> [Uchar.of_int 366]
  | "Uscr" -> [Uchar.of_int 119984]
  | "Utilde" -> [Uchar.of_int 360]
  | "Uuml" -> [Uchar.of_int 220]
  | "VDash" -> [Uchar.of_int 8875]
  | "Vbar" -> [Uchar.of_int 10987]
  | "Vcy" -> [Uchar.of_int 1042]
  | "Vdash" -> [Uchar.of_int 8873]
  | "Vdashl" -> [Uchar.of_int 10982]
  | "Vee" -> [Uchar.of_int 8897]
  | "Verbar" -> [Uchar.of_int 8214]
  | "Vert" -> [Uchar.of_int 8214]
  | "VerticalBar" -> [Uchar.of_int 8739]
  | "VerticalLine" -> [Uchar.of_int 124]
  | "VerticalSeparator" -> [Uchar.of_int 10072]
  | "VerticalTilde" -> [Uchar.of_int 8768]
  | "VeryThinSpace" -> [Uchar.of_int 8202]
  | "Vfr" -> [Uchar.of_int 120089]
  | "Vopf" -> [Uchar.of_int 120141]
  | "Vscr" -> [Uchar.of_int 119985]
  | "Vvdash" -> [Uchar.of_int 8874]
  | "Wcirc" -> [Uchar.of_int 372]
  | "Wedge" -> [Uchar.of_int 8896]
  | "Wfr" -> [Uchar.of_int 120090]
  | "Wopf" -> [Uchar.of_int 120142]
  | "Wscr" -> [Uchar.of_int 119986]
  | "Xfr" -> [Uchar.of_int 120091]
  | "Xi" -> [Uchar.of_int 926]
  | "Xopf" -> [Uchar.of_int 120143]
  | "Xscr" -> [Uchar.of_int 119987]
  | "YAcy" -> [Uchar.of_int 1071]
  | "YIcy" -> [Uchar.of_int 1031]
  | "YUcy" -> [Uchar.of_int 1070]
  | "Yacute" -> [Uchar.of_int 221]
  | "Ycirc" -> [Uchar.of_int 374]
  | "Ycy" -> [Uchar.of_int 1067]
  | "Yfr" -> [Uchar.of_int 120092]
  | "Yopf" -> [Uchar.of_int 120144]
  | "Yscr" -> [Uchar.of_int 119988]
  | "Yuml" -> [Uchar.of_int 376]
  | "ZHcy" -> [Uchar.of_int 1046]
  | "Zacute" -> [Uchar.of_int 377]
  | "Zcaron" -> [Uchar.of_int 381]
  | "Zcy" -> [Uchar.of_int 1047]
  | "Zdot" -> [Uchar.of_int 379]
  | "ZeroWidthSpace" -> [Uchar.of_int 8203]
  | "Zeta" -> [Uchar.of_int 918]
  | "Zfr" -> [Uchar.of_int 8488]
  | "Zopf" -> [Uchar.of_int 8484]
  | "Zscr" -> [Uchar.of_int 119989]
  | "aacute" -> [Uchar.of_int 225]
  | "abreve" -> [Uchar.of_int 259]
  | "ac" -> [Uchar.of_int 8766]
  | "acE" -> [Uchar.of_int 8766; Uchar.of_int 819]
  | "acd" -> [Uchar.of_int 8767]
  | "acirc" -> [Uchar.of_int 226]
  | "acute" -> [Uchar.of_int 180]
  | "acy" -> [Uchar.of_int 1072]
  | "aelig" -> [Uchar.of_int 230]
  | "af" -> [Uchar.of_int 8289]
  | "afr" -> [Uchar.of_int 120094]
  | "agrave" -> [Uchar.of_int 224]
  | "alefsym" -> [Uchar.of_int 8501]
  | "aleph" -> [Uchar.of_int 8501]
  | "alpha" -> [Uchar.of_int 945]
  | "amacr" -> [Uchar.of_int 257]
  | "amalg" -> [Uchar.of_int 10815]
  | "amp" -> [Uchar.of_int 38]
  | "and" -> [Uchar.of_int 8743]
  | "andand" -> [Uchar.of_int 10837]
  | "andd" -> [Uchar.of_int 10844]
  | "andslope" -> [Uchar.of_int 10840]
  | "andv" -> [Uchar.of_int 10842]
  | "ang" -> [Uchar.of_int 8736]
  | "ange" -> [Uchar.of_int 10660]
  | "angle" -> [Uchar.of_int 8736]
  | "angmsd" -> [Uchar.of_int 8737]
  | "angmsdaa" -> [Uchar.of_int 10664]
  | "angmsdab" -> [Uchar.of_int 10665]
  | "angmsdac" -> [Uchar.of_int 10666]
  | "angmsdad" -> [Uchar.of_int 10667]
  | "angmsdae" -> [Uchar.of_int 10668]
  | "angmsdaf" -> [Uchar.of_int 10669]
  | "angmsdag" -> [Uchar.of_int 10670]
  | "angmsdah" -> [Uchar.of_int 10671]
  | "angrt" -> [Uchar.of_int 8735]
  | "angrtvb" -> [Uchar.of_int 8894]
  | "angrtvbd" -> [Uchar.of_int 10653]
  | "angsph" -> [Uchar.of_int 8738]
  | "angst" -> [Uchar.of_int 197]
  | "angzarr" -> [Uchar.of_int 9084]
  | "aogon" -> [Uchar.of_int 261]
  | "aopf" -> [Uchar.of_int 120146]
  | "ap" -> [Uchar.of_int 8776]
  | "apE" -> [Uchar.of_int 10864]
  | "apacir" -> [Uchar.of_int 10863]
  | "ape" -> [Uchar.of_int 8778]
  | "apid" -> [Uchar.of_int 8779]
  | "apos" -> [Uchar.of_int 39]
  | "approx" -> [Uchar.of_int 8776]
  | "approxeq" -> [Uchar.of_int 8778]
  | "aring" -> [Uchar.of_int 229]
  | "ascr" -> [Uchar.of_int 119990]
  | "ast" -> [Uchar.of_int 42]
  | "asymp" -> [Uchar.of_int 8776]
  | "asympeq" -> [Uchar.of_int 8781]
  | "atilde" -> [Uchar.of_int 227]
  | "auml" -> [Uchar.of_int 228]
  | "awconint" -> [Uchar.of_int 8755]
  | "awint" -> [Uchar.of_int 10769]
  | "bNot" -> [Uchar.of_int 10989]
  | "backcong" -> [Uchar.of_int 8780]
  | "backepsilon" -> [Uchar.of_int 1014]
  | "backprime" -> [Uchar.of_int 8245]
  | "backsim" -> [Uchar.of_int 8765]
  | "backsimeq" -> [Uchar.of_int 8909]
  | "barvee" -> [Uchar.of_int 8893]
  | "barwed" -> [Uchar.of_int 8965]
  | "barwedge" -> [Uchar.of_int 8965]
  | "bbrk" -> [Uchar.of_int 9141]
  | "bbrktbrk" -> [Uchar.of_int 9142]
  | "bcong" -> [Uchar.of_int 8780]
  | "bcy" -> [Uchar.of_int 1073]
  | "bdquo" -> [Uchar.of_int 8222]
  | "becaus" -> [Uchar.of_int 8757]
  | "because" -> [Uchar.of_int 8757]
  | "bemptyv" -> [Uchar.of_int 10672]
  | "bepsi" -> [Uchar.of_int 1014]
  | "bernou" -> [Uchar.of_int 8492]
  | "beta" -> [Uchar.of_int 946]
  | "beth" -> [Uchar.of_int 8502]
  | "between" -> [Uchar.of_int 8812]
  | "bfr" -> [Uchar.of_int 120095]
  | "bigcap" -> [Uchar.of_int 8898]
  | "bigcirc" -> [Uchar.of_int 9711]
  | "bigcup" -> [Uchar.of_int 8899]
  | "bigodot" -> [Uchar.of_int 10752]
  | "bigoplus" -> [Uchar.of_int 10753]
  | "bigotimes" -> [Uchar.of_int 10754]
  | "bigsqcup" -> [Uchar.of_int 10758]
  | "bigstar" -> [Uchar.of_int 9733]
  | "bigtriangledown" -> [Uchar.of_int 9661]
  | "bigtriangleup" -> [Uchar.of_int 9651]
  | "biguplus" -> [Uchar.of_int 10756]
  | "bigvee" -> [Uchar.of_int 8897]
  | "bigwedge" -> [Uchar.of_int 8896]
  | "bkarow" -> [Uchar.of_int 10509]
  | "blacklozenge" -> [Uchar.of_int 10731]
  | "blacksquare" -> [Uchar.of_int 9642]
  | "blacktriangle" -> [Uchar.of_int 9652]
  | "blacktriangledown" -> [Uchar.of_int 9662]
  | "blacktriangleleft" -> [Uchar.of_int 9666]
  | "blacktriangleright" -> [Uchar.of_int 9656]
  | "blank" -> [Uchar.of_int 9251]
  | "blk12" -> [Uchar.of_int 9618]
  | "blk14" -> [Uchar.of_int 9617]
  | "blk34" -> [Uchar.of_int 9619]
  | "block" -> [Uchar.of_int 9608]
  | "bne" -> [Uchar.of_int 61; Uchar.of_int 8421]
  | "bnequiv" -> [Uchar.of_int 8801; Uchar.of_int 8421]
  | "bnot" -> [Uchar.of_int 8976]
  | "bopf" -> [Uchar.of_int 120147]
  | "bot" -> [Uchar.of_int 8869]
  | "bottom" -> [Uchar.of_int 8869]
  | "bowtie" -> [Uchar.of_int 8904]
  | "boxDL" -> [Uchar.of_int 9559]
  | "boxDR" -> [Uchar.of_int 9556]
  | "boxDl" -> [Uchar.of_int 9558]
  | "boxDr" -> [Uchar.of_int 9555]
  | "boxH" -> [Uchar.of_int 9552]
  | "boxHD" -> [Uchar.of_int 9574]
  | "boxHU" -> [Uchar.of_int 9577]
  | "boxHd" -> [Uchar.of_int 9572]
  | "boxHu" -> [Uchar.of_int 9575]
  | "boxUL" -> [Uchar.of_int 9565]
  | "boxUR" -> [Uchar.of_int 9562]
  | "boxUl" -> [Uchar.of_int 9564]
  | "boxUr" -> [Uchar.of_int 9561]
  | "boxV" -> [Uchar.of_int 9553]
  | "boxVH" -> [Uchar.of_int 9580]
  | "boxVL" -> [Uchar.of_int 9571]
  | "boxVR" -> [Uchar.of_int 9568]
  | "boxVh" -> [Uchar.of_int 9579]
  | "boxVl" -> [Uchar.of_int 9570]
  | "boxVr" -> [Uchar.of_int 9567]
  | "boxbox" -> [Uchar.of_int 10697]
  | "boxdL" -> [Uchar.of_int 9557]
  | "boxdR" -> [Uchar.of_int 9554]
  | "boxdl" -> [Uchar.of_int 9488]
  | "boxdr" -> [Uchar.of_int 9484]
  | "boxh" -> [Uchar.of_int 9472]
  | "boxhD" -> [Uchar.of_int 9573]
  | "boxhU" -> [Uchar.of_int 9576]
  | "boxhd" -> [Uchar.of_int 9516]
  | "boxhu" -> [Uchar.of_int 9524]
  | "boxminus" -> [Uchar.of_int 8863]
  | "boxplus" -> [Uchar.of_int 8862]
  | "boxtimes" -> [Uchar.of_int 8864]
  | "boxuL" -> [Uchar.of_int 9563]
  | "boxuR" -> [Uchar.of_int 9560]
  | "boxul" -> [Uchar.of_int 9496]
  | "boxur" -> [Uchar.of_int 9492]
  | "boxv" -> [Uchar.of_int 9474]
  | "boxvH" -> [Uchar.of_int 9578]
  | "boxvL" -> [Uchar.of_int 9569]
  | "boxvR" -> [Uchar.of_int 9566]
  | "boxvh" -> [Uchar.of_int 9532]
  | "boxvl" -> [Uchar.of_int 9508]
  | "boxvr" -> [Uchar.of_int 9500]
  | "bprime" -> [Uchar.of_int 8245]
  | "breve" -> [Uchar.of_int 728]
  | "brvbar" -> [Uchar.of_int 166]
  | "bscr" -> [Uchar.of_int 119991]
  | "bsemi" -> [Uchar.of_int 8271]
  | "bsim" -> [Uchar.of_int 8765]
  | "bsime" -> [Uchar.of_int 8909]
  | "bsol" -> [Uchar.of_int 92]
  | "bsolb" -> [Uchar.of_int 10693]
  | "bsolhsub" -> [Uchar.of_int 10184]
  | "bull" -> [Uchar.of_int 8226]
  | "bullet" -> [Uchar.of_int 8226]
  | "bump" -> [Uchar.of_int 8782]
  | "bumpE" -> [Uchar.of_int 10926]
  | "bumpe" -> [Uchar.of_int 8783]
  | "bumpeq" -> [Uchar.of_int 8783]
  | "cacute" -> [Uchar.of_int 263]
  | "cap" -> [Uchar.of_int 8745]
  | "capand" -> [Uchar.of_int 10820]
  | "capbrcup" -> [Uchar.of_int 10825]
  | "capcap" -> [Uchar.of_int 10827]
  | "capcup" -> [Uchar.of_int 10823]
  | "capdot" -> [Uchar.of_int 10816]
  | "caps" -> [Uchar.of_int 8745; Uchar.of_int 65024]
  | "caret" -> [Uchar.of_int 8257]
  | "caron" -> [Uchar.of_int 711]
  | "ccaps" -> [Uchar.of_int 10829]
  | "ccaron" -> [Uchar.of_int 269]
  | "ccedil" -> [Uchar.of_int 231]
  | "ccirc" -> [Uchar.of_int 265]
  | "ccups" -> [Uchar.of_int 10828]
  | "ccupssm" -> [Uchar.of_int 10832]
  | "cdot" -> [Uchar.of_int 267]
  | "cedil" -> [Uchar.of_int 184]
  | "cemptyv" -> [Uchar.of_int 10674]
  | "cent" -> [Uchar.of_int 162]
  | "centerdot" -> [Uchar.of_int 183]
  | "cfr" -> [Uchar.of_int 120096]
  | "chcy" -> [Uchar.of_int 1095]
  | "check" -> [Uchar.of_int 10003]
  | "checkmark" -> [Uchar.of_int 10003]
  | "chi" -> [Uchar.of_int 967]
  | "cir" -> [Uchar.of_int 9675]
  | "cirE" -> [Uchar.of_int 10691]
  | "circ" -> [Uchar.of_int 710]
  | "circeq" -> [Uchar.of_int 8791]
  | "circlearrowleft" -> [Uchar.of_int 8634]
  | "circlearrowright" -> [Uchar.of_int 8635]
  | "circledR" -> [Uchar.of_int 174]
  | "circledS" -> [Uchar.of_int 9416]
  | "circledast" -> [Uchar.of_int 8859]
  | "circledcirc" -> [Uchar.of_int 8858]
  | "circleddash" -> [Uchar.of_int 8861]
  | "cire" -> [Uchar.of_int 8791]
  | "cirfnint" -> [Uchar.of_int 10768]
  | "cirmid" -> [Uchar.of_int 10991]
  | "cirscir" -> [Uchar.of_int 10690]
  | "clubs" -> [Uchar.of_int 9827]
  | "clubsuit" -> [Uchar.of_int 9827]
  | "colon" -> [Uchar.of_int 58]
  | "colone" -> [Uchar.of_int 8788]
  | "coloneq" -> [Uchar.of_int 8788]
  | "comma" -> [Uchar.of_int 44]
  | "commat" -> [Uchar.of_int 64]
  | "comp" -> [Uchar.of_int 8705]
  | "compfn" -> [Uchar.of_int 8728]
  | "complement" -> [Uchar.of_int 8705]
  | "complexes" -> [Uchar.of_int 8450]
  | "cong" -> [Uchar.of_int 8773]
  | "congdot" -> [Uchar.of_int 10861]
  | "conint" -> [Uchar.of_int 8750]
  | "copf" -> [Uchar.of_int 120148]
  | "coprod" -> [Uchar.of_int 8720]
  | "copy" -> [Uchar.of_int 169]
  | "copysr" -> [Uchar.of_int 8471]
  | "crarr" -> [Uchar.of_int 8629]
  | "cross" -> [Uchar.of_int 10007]
  | "cscr" -> [Uchar.of_int 119992]
  | "csub" -> [Uchar.of_int 10959]
  | "csube" -> [Uchar.of_int 10961]
  | "csup" -> [Uchar.of_int 10960]
  | "csupe" -> [Uchar.of_int 10962]
  | "ctdot" -> [Uchar.of_int 8943]
  | "cudarrl" -> [Uchar.of_int 10552]
  | "cudarrr" -> [Uchar.of_int 10549]
  | "cuepr" -> [Uchar.of_int 8926]
  | "cuesc" -> [Uchar.of_int 8927]
  | "cularr" -> [Uchar.of_int 8630]
  | "cularrp" -> [Uchar.of_int 10557]
  | "cup" -> [Uchar.of_int 8746]
  | "cupbrcap" -> [Uchar.of_int 10824]
  | "cupcap" -> [Uchar.of_int 10822]
  | "cupcup" -> [Uchar.of_int 10826]
  | "cupdot" -> [Uchar.of_int 8845]
  | "cupor" -> [Uchar.of_int 10821]
  | "cups" -> [Uchar.of_int 8746; Uchar.of_int 65024]
  | "curarr" -> [Uchar.of_int 8631]
  | "curarrm" -> [Uchar.of_int 10556]
  | "curlyeqprec" -> [Uchar.of_int 8926]
  | "curlyeqsucc" -> [Uchar.of_int 8927]
  | "curlyvee" -> [Uchar.of_int 8910]
  | "curlywedge" -> [Uchar.of_int 8911]
  | "curren" -> [Uchar.of_int 164]
  | "curvearrowleft" -> [Uchar.of_int 8630]
  | "curvearrowright" -> [Uchar.of_int 8631]
  | "cuvee" -> [Uchar.of_int 8910]
  | "cuwed" -> [Uchar.of_int 8911]
  | "cwconint" -> [Uchar.of_int 8754]
  | "cwint" -> [Uchar.of_int 8753]
  | "cylcty" -> [Uchar.of_int 9005]
  | "dArr" -> [Uchar.of_int 8659]
  | "dHar" -> [Uchar.of_int 10597]
  | "dagger" -> [Uchar.of_int 8224]
  | "daleth" -> [Uchar.of_int 8504]
  | "darr" -> [Uchar.of_int 8595]
  | "dash" -> [Uchar.of_int 8208]
  | "dashv" -> [Uchar.of_int 8867]
  | "dbkarow" -> [Uchar.of_int 10511]
  | "dblac" -> [Uchar.of_int 733]
  | "dcaron" -> [Uchar.of_int 271]
  | "dcy" -> [Uchar.of_int 1076]
  | "dd" -> [Uchar.of_int 8518]
  | "ddagger" -> [Uchar.of_int 8225]
  | "ddarr" -> [Uchar.of_int 8650]
  | "ddotseq" -> [Uchar.of_int 10871]
  | "deg" -> [Uchar.of_int 176]
  | "delta" -> [Uchar.of_int 948]
  | "demptyv" -> [Uchar.of_int 10673]
  | "dfisht" -> [Uchar.of_int 10623]
  | "dfr" -> [Uchar.of_int 120097]
  | "dharl" -> [Uchar.of_int 8643]
  | "dharr" -> [Uchar.of_int 8642]
  | "diam" -> [Uchar.of_int 8900]
  | "diamond" -> [Uchar.of_int 8900]
  | "diamondsuit" -> [Uchar.of_int 9830]
  | "diams" -> [Uchar.of_int 9830]
  | "die" -> [Uchar.of_int 168]
  | "digamma" -> [Uchar.of_int 989]
  | "disin" -> [Uchar.of_int 8946]
  | "div" -> [Uchar.of_int 247]
  | "divide" -> [Uchar.of_int 247]
  | "divideontimes" -> [Uchar.of_int 8903]
  | "divonx" -> [Uchar.of_int 8903]
  | "djcy" -> [Uchar.of_int 1106]
  | "dlcorn" -> [Uchar.of_int 8990]
  | "dlcrop" -> [Uchar.of_int 8973]
  | "dollar" -> [Uchar.of_int 36]
  | "dopf" -> [Uchar.of_int 120149]
  | "dot" -> [Uchar.of_int 729]
  | "doteq" -> [Uchar.of_int 8784]
  | "doteqdot" -> [Uchar.of_int 8785]
  | "dotminus" -> [Uchar.of_int 8760]
  | "dotplus" -> [Uchar.of_int 8724]
  | "dotsquare" -> [Uchar.of_int 8865]
  | "doublebarwedge" -> [Uchar.of_int 8966]
  | "downarrow" -> [Uchar.of_int 8595]
  | "downdownarrows" -> [Uchar.of_int 8650]
  | "downharpoonleft" -> [Uchar.of_int 8643]
  | "downharpoonright" -> [Uchar.of_int 8642]
  | "drbkarow" -> [Uchar.of_int 10512]
  | "drcorn" -> [Uchar.of_int 8991]
  | "drcrop" -> [Uchar.of_int 8972]
  | "dscr" -> [Uchar.of_int 119993]
  | "dscy" -> [Uchar.of_int 1109]
  | "dsol" -> [Uchar.of_int 10742]
  | "dstrok" -> [Uchar.of_int 273]
  | "dtdot" -> [Uchar.of_int 8945]
  | "dtri" -> [Uchar.of_int 9663]
  | "dtrif" -> [Uchar.of_int 9662]
  | "duarr" -> [Uchar.of_int 8693]
  | "duhar" -> [Uchar.of_int 10607]
  | "dwangle" -> [Uchar.of_int 10662]
  | "dzcy" -> [Uchar.of_int 1119]
  | "dzigrarr" -> [Uchar.of_int 10239]
  | "eDDot" -> [Uchar.of_int 10871]
  | "eDot" -> [Uchar.of_int 8785]
  | "eacute" -> [Uchar.of_int 233]
  | "easter" -> [Uchar.of_int 10862]
  | "ecaron" -> [Uchar.of_int 283]
  | "ecir" -> [Uchar.of_int 8790]
  | "ecirc" -> [Uchar.of_int 234]
  | "ecolon" -> [Uchar.of_int 8789]
  | "ecy" -> [Uchar.of_int 1101]
  | "edot" -> [Uchar.of_int 279]
  | "ee" -> [Uchar.of_int 8519]
  | "efDot" -> [Uchar.of_int 8786]
  | "efr" -> [Uchar.of_int 120098]
  | "eg" -> [Uchar.of_int 10906]
  | "egrave" -> [Uchar.of_int 232]
  | "egs" -> [Uchar.of_int 10902]
  | "egsdot" -> [Uchar.of_int 10904]
  | "el" -> [Uchar.of_int 10905]
  | "elinters" -> [Uchar.of_int 9191]
  | "ell" -> [Uchar.of_int 8467]
  | "els" -> [Uchar.of_int 10901]
  | "elsdot" -> [Uchar.of_int 10903]
  | "emacr" -> [Uchar.of_int 275]
  | "empty" -> [Uchar.of_int 8709]
  | "emptyset" -> [Uchar.of_int 8709]
  | "emptyv" -> [Uchar.of_int 8709]
  | "emsp13" -> [Uchar.of_int 8196]
  | "emsp14" -> [Uchar.of_int 8197]
  | "emsp" -> [Uchar.of_int 8195]
  | "eng" -> [Uchar.of_int 331]
  | "ensp" -> [Uchar.of_int 8194]
  | "eogon" -> [Uchar.of_int 281]
  | "eopf" -> [Uchar.of_int 120150]
  | "epar" -> [Uchar.of_int 8917]
  | "eparsl" -> [Uchar.of_int 10723]
  | "eplus" -> [Uchar.of_int 10865]
  | "epsi" -> [Uchar.of_int 949]
  | "epsilon" -> [Uchar.of_int 949]
  | "epsiv" -> [Uchar.of_int 1013]
  | "eqcirc" -> [Uchar.of_int 8790]
  | "eqcolon" -> [Uchar.of_int 8789]
  | "eqsim" -> [Uchar.of_int 8770]
  | "eqslantgtr" -> [Uchar.of_int 10902]
  | "eqslantless" -> [Uchar.of_int 10901]
  | "equals" -> [Uchar.of_int 61]
  | "equest" -> [Uchar.of_int 8799]
  | "equiv" -> [Uchar.of_int 8801]
  | "equivDD" -> [Uchar.of_int 10872]
  | "eqvparsl" -> [Uchar.of_int 10725]
  | "erDot" -> [Uchar.of_int 8787]
  | "erarr" -> [Uchar.of_int 10609]
  | "escr" -> [Uchar.of_int 8495]
  | "esdot" -> [Uchar.of_int 8784]
  | "esim" -> [Uchar.of_int 8770]
  | "eta" -> [Uchar.of_int 951]
  | "eth" -> [Uchar.of_int 240]
  | "euml" -> [Uchar.of_int 235]
  | "euro" -> [Uchar.of_int 8364]
  | "excl" -> [Uchar.of_int 33]
  | "exist" -> [Uchar.of_int 8707]
  | "expectation" -> [Uchar.of_int 8496]
  | "exponentiale" -> [Uchar.of_int 8519]
  | "fallingdotseq" -> [Uchar.of_int 8786]
  | "fcy" -> [Uchar.of_int 1092]
  | "female" -> [Uchar.of_int 9792]
  | "ffilig" -> [Uchar.of_int 64259]
  | "fflig" -> [Uchar.of_int 64256]
  | "ffllig" -> [Uchar.of_int 64260]
  | "ffr" -> [Uchar.of_int 120099]
  | "filig" -> [Uchar.of_int 64257]
  | "fjlig" -> [Uchar.of_int 102; Uchar.of_int 106]
  | "flat" -> [Uchar.of_int 9837]
  | "fllig" -> [Uchar.of_int 64258]
  | "fltns" -> [Uchar.of_int 9649]
  | "fnof" -> [Uchar.of_int 402]
  | "fopf" -> [Uchar.of_int 120151]
  | "forall" -> [Uchar.of_int 8704]
  | "fork" -> [Uchar.of_int 8916]
  | "forkv" -> [Uchar.of_int 10969]
  | "fpartint" -> [Uchar.of_int 10765]
  | "frac12" -> [Uchar.of_int 189]
  | "frac13" -> [Uchar.of_int 8531]
  | "frac14" -> [Uchar.of_int 188]
  | "frac15" -> [Uchar.of_int 8533]
  | "frac16" -> [Uchar.of_int 8537]
  | "frac18" -> [Uchar.of_int 8539]
  | "frac23" -> [Uchar.of_int 8532]
  | "frac25" -> [Uchar.of_int 8534]
  | "frac34" -> [Uchar.of_int 190]
  | "frac35" -> [Uchar.of_int 8535]
  | "frac38" -> [Uchar.of_int 8540]
  | "frac45" -> [Uchar.of_int 8536]
  | "frac56" -> [Uchar.of_int 8538]
  | "frac58" -> [Uchar.of_int 8541]
  | "frac78" -> [Uchar.of_int 8542]
  | "frasl" -> [Uchar.of_int 8260]
  | "frown" -> [Uchar.of_int 8994]
  | "fscr" -> [Uchar.of_int 119995]
  | "gE" -> [Uchar.of_int 8807]
  | "gEl" -> [Uchar.of_int 10892]
  | "gacute" -> [Uchar.of_int 501]
  | "gamma" -> [Uchar.of_int 947]
  | "gammad" -> [Uchar.of_int 989]
  | "gap" -> [Uchar.of_int 10886]
  | "gbreve" -> [Uchar.of_int 287]
  | "gcirc" -> [Uchar.of_int 285]
  | "gcy" -> [Uchar.of_int 1075]
  | "gdot" -> [Uchar.of_int 289]
  | "ge" -> [Uchar.of_int 8805]
  | "gel" -> [Uchar.of_int 8923]
  | "geq" -> [Uchar.of_int 8805]
  | "geqq" -> [Uchar.of_int 8807]
  | "geqslant" -> [Uchar.of_int 10878]
  | "ges" -> [Uchar.of_int 10878]
  | "gescc" -> [Uchar.of_int 10921]
  | "gesdot" -> [Uchar.of_int 10880]
  | "gesdoto" -> [Uchar.of_int 10882]
  | "gesdotol" -> [Uchar.of_int 10884]
  | "gesl" -> [Uchar.of_int 8923; Uchar.of_int 65024]
  | "gesles" -> [Uchar.of_int 10900]
  | "gfr" -> [Uchar.of_int 120100]
  | "gg" -> [Uchar.of_int 8811]
  | "ggg" -> [Uchar.of_int 8921]
  | "gimel" -> [Uchar.of_int 8503]
  | "gjcy" -> [Uchar.of_int 1107]
  | "gl" -> [Uchar.of_int 8823]
  | "glE" -> [Uchar.of_int 10898]
  | "gla" -> [Uchar.of_int 10917]
  | "glj" -> [Uchar.of_int 10916]
  | "gnE" -> [Uchar.of_int 8809]
  | "gnap" -> [Uchar.of_int 10890]
  | "gnapprox" -> [Uchar.of_int 10890]
  | "gne" -> [Uchar.of_int 10888]
  | "gneq" -> [Uchar.of_int 10888]
  | "gneqq" -> [Uchar.of_int 8809]
  | "gnsim" -> [Uchar.of_int 8935]
  | "gopf" -> [Uchar.of_int 120152]
  | "grave" -> [Uchar.of_int 96]
  | "gscr" -> [Uchar.of_int 8458]
  | "gsim" -> [Uchar.of_int 8819]
  | "gsime" -> [Uchar.of_int 10894]
  | "gsiml" -> [Uchar.of_int 10896]
  | "gt" -> [Uchar.of_int 62]
  | "gtcc" -> [Uchar.of_int 10919]
  | "gtcir" -> [Uchar.of_int 10874]
  | "gtdot" -> [Uchar.of_int 8919]
  | "gtlPar" -> [Uchar.of_int 10645]
  | "gtquest" -> [Uchar.of_int 10876]
  | "gtrapprox" -> [Uchar.of_int 10886]
  | "gtrarr" -> [Uchar.of_int 10616]
  | "gtrdot" -> [Uchar.of_int 8919]
  | "gtreqless" -> [Uchar.of_int 8923]
  | "gtreqqless" -> [Uchar.of_int 10892]
  | "gtrless" -> [Uchar.of_int 8823]
  | "gtrsim" -> [Uchar.of_int 8819]
  | "gvertneqq" -> [Uchar.of_int 8809; Uchar.of_int 65024]
  | "gvnE" -> [Uchar.of_int 8809; Uchar.of_int 65024]
  | "hArr" -> [Uchar.of_int 8660]
  | "hairsp" -> [Uchar.of_int 8202]
  | "half" -> [Uchar.of_int 189]
  | "hamilt" -> [Uchar.of_int 8459]
  | "hardcy" -> [Uchar.of_int 1098]
  | "harr" -> [Uchar.of_int 8596]
  | "harrcir" -> [Uchar.of_int 10568]
  | "harrw" -> [Uchar.of_int 8621]
  | "hbar" -> [Uchar.of_int 8463]
  | "hcirc" -> [Uchar.of_int 293]
  | "hearts" -> [Uchar.of_int 9829]
  | "heartsuit" -> [Uchar.of_int 9829]
  | "hellip" -> [Uchar.of_int 8230]
  | "hercon" -> [Uchar.of_int 8889]
  | "hfr" -> [Uchar.of_int 120101]
  | "hksearow" -> [Uchar.of_int 10533]
  | "hkswarow" -> [Uchar.of_int 10534]
  | "hoarr" -> [Uchar.of_int 8703]
  | "homtht" -> [Uchar.of_int 8763]
  | "hookleftarrow" -> [Uchar.of_int 8617]
  | "hookrightarrow" -> [Uchar.of_int 8618]
  | "hopf" -> [Uchar.of_int 120153]
  | "horbar" -> [Uchar.of_int 8213]
  | "hscr" -> [Uchar.of_int 119997]
  | "hslash" -> [Uchar.of_int 8463]
  | "hstrok" -> [Uchar.of_int 295]
  | "hybull" -> [Uchar.of_int 8259]
  | "hyphen" -> [Uchar.of_int 8208]
  | "iacute" -> [Uchar.of_int 237]
  | "ic" -> [Uchar.of_int 8291]
  | "icirc" -> [Uchar.of_int 238]
  | "icy" -> [Uchar.of_int 1080]
  | "iecy" -> [Uchar.of_int 1077]
  | "iexcl" -> [Uchar.of_int 161]
  | "iff" -> [Uchar.of_int 8660]
  | "ifr" -> [Uchar.of_int 120102]
  | "igrave" -> [Uchar.of_int 236]
  | "ii" -> [Uchar.of_int 8520]
  | "iiiint" -> [Uchar.of_int 10764]
  | "iiint" -> [Uchar.of_int 8749]
  | "iinfin" -> [Uchar.of_int 10716]
  | "iiota" -> [Uchar.of_int 8489]
  | "ijlig" -> [Uchar.of_int 307]
  | "imacr" -> [Uchar.of_int 299]
  | "image" -> [Uchar.of_int 8465]
  | "imagline" -> [Uchar.of_int 8464]
  | "imagpart" -> [Uchar.of_int 8465]
  | "imath" -> [Uchar.of_int 305]
  | "imof" -> [Uchar.of_int 8887]
  | "imped" -> [Uchar.of_int 437]
  | "in" -> [Uchar.of_int 8712]
  | "incare" -> [Uchar.of_int 8453]
  | "infin" -> [Uchar.of_int 8734]
  | "infintie" -> [Uchar.of_int 10717]
  | "inodot" -> [Uchar.of_int 305]
  | "int" -> [Uchar.of_int 8747]
  | "intcal" -> [Uchar.of_int 8890]
  | "integers" -> [Uchar.of_int 8484]
  | "intercal" -> [Uchar.of_int 8890]
  | "intlarhk" -> [Uchar.of_int 10775]
  | "intprod" -> [Uchar.of_int 10812]
  | "iocy" -> [Uchar.of_int 1105]
  | "iogon" -> [Uchar.of_int 303]
  | "iopf" -> [Uchar.of_int 120154]
  | "iota" -> [Uchar.of_int 953]
  | "iprod" -> [Uchar.of_int 10812]
  | "iquest" -> [Uchar.of_int 191]
  | "iscr" -> [Uchar.of_int 119998]
  | "isin" -> [Uchar.of_int 8712]
  | "isinE" -> [Uchar.of_int 8953]
  | "isindot" -> [Uchar.of_int 8949]
  | "isins" -> [Uchar.of_int 8948]
  | "isinsv" -> [Uchar.of_int 8947]
  | "isinv" -> [Uchar.of_int 8712]
  | "it" -> [Uchar.of_int 8290]
  | "itilde" -> [Uchar.of_int 297]
  | "iukcy" -> [Uchar.of_int 1110]
  | "iuml" -> [Uchar.of_int 239]
  | "jcirc" -> [Uchar.of_int 309]
  | "jcy" -> [Uchar.of_int 1081]
  | "jfr" -> [Uchar.of_int 120103]
  | "jmath" -> [Uchar.of_int 567]
  | "jopf" -> [Uchar.of_int 120155]
  | "jscr" -> [Uchar.of_int 119999]
  | "jsercy" -> [Uchar.of_int 1112]
  | "jukcy" -> [Uchar.of_int 1108]
  | "kappa" -> [Uchar.of_int 954]
  | "kappav" -> [Uchar.of_int 1008]
  | "kcedil" -> [Uchar.of_int 311]
  | "kcy" -> [Uchar.of_int 1082]
  | "kfr" -> [Uchar.of_int 120104]
  | "kgreen" -> [Uchar.of_int 312]
  | "khcy" -> [Uchar.of_int 1093]
  | "kjcy" -> [Uchar.of_int 1116]
  | "kopf" -> [Uchar.of_int 120156]
  | "kscr" -> [Uchar.of_int 120000]
  | "lAarr" -> [Uchar.of_int 8666]
  | "lArr" -> [Uchar.of_int 8656]
  | "lAtail" -> [Uchar.of_int 10523]
  | "lBarr" -> [Uchar.of_int 10510]
  | "lE" -> [Uchar.of_int 8806]
  | "lEg" -> [Uchar.of_int 10891]
  | "lHar" -> [Uchar.of_int 10594]
  | "lacute" -> [Uchar.of_int 314]
  | "laemptyv" -> [Uchar.of_int 10676]
  | "lagran" -> [Uchar.of_int 8466]
  | "lambda" -> [Uchar.of_int 955]
  | "lang" -> [Uchar.of_int 10216]
  | "langd" -> [Uchar.of_int 10641]
  | "langle" -> [Uchar.of_int 10216]
  | "lap" -> [Uchar.of_int 10885]
  | "laquo" -> [Uchar.of_int 171]
  | "larr" -> [Uchar.of_int 8592]
  | "larrb" -> [Uchar.of_int 8676]
  | "larrbfs" -> [Uchar.of_int 10527]
  | "larrfs" -> [Uchar.of_int 10525]
  | "larrhk" -> [Uchar.of_int 8617]
  | "larrlp" -> [Uchar.of_int 8619]
  | "larrpl" -> [Uchar.of_int 10553]
  | "larrsim" -> [Uchar.of_int 10611]
  | "larrtl" -> [Uchar.of_int 8610]
  | "lat" -> [Uchar.of_int 10923]
  | "latail" -> [Uchar.of_int 10521]
  | "late" -> [Uchar.of_int 10925]
  | "lates" -> [Uchar.of_int 10925; Uchar.of_int 65024]
  | "lbarr" -> [Uchar.of_int 10508]
  | "lbbrk" -> [Uchar.of_int 10098]
  | "lbrace" -> [Uchar.of_int 123]
  | "lbrack" -> [Uchar.of_int 91]
  | "lbrke" -> [Uchar.of_int 10635]
  | "lbrksld" -> [Uchar.of_int 10639]
  | "lbrkslu" -> [Uchar.of_int 10637]
  | "lcaron" -> [Uchar.of_int 318]
  | "lcedil" -> [Uchar.of_int 316]
  | "lceil" -> [Uchar.of_int 8968]
  | "lcub" -> [Uchar.of_int 123]
  | "lcy" -> [Uchar.of_int 1083]
  | "ldca" -> [Uchar.of_int 10550]
  | "ldquo" -> [Uchar.of_int 8220]
  | "ldquor" -> [Uchar.of_int 8222]
  | "ldrdhar" -> [Uchar.of_int 10599]
  | "ldrushar" -> [Uchar.of_int 10571]
  | "ldsh" -> [Uchar.of_int 8626]
  | "le" -> [Uchar.of_int 8804]
  | "leftarrow" -> [Uchar.of_int 8592]
  | "leftarrowtail" -> [Uchar.of_int 8610]
  | "leftharpoondown" -> [Uchar.of_int 8637]
  | "leftharpoonup" -> [Uchar.of_int 8636]
  | "leftleftarrows" -> [Uchar.of_int 8647]
  | "leftrightarrow" -> [Uchar.of_int 8596]
  | "leftrightarrows" -> [Uchar.of_int 8646]
  | "leftrightharpoons" -> [Uchar.of_int 8651]
  | "leftrightsquigarrow" -> [Uchar.of_int 8621]
  | "leftthreetimes" -> [Uchar.of_int 8907]
  | "leg" -> [Uchar.of_int 8922]
  | "leq" -> [Uchar.of_int 8804]
  | "leqq" -> [Uchar.of_int 8806]
  | "leqslant" -> [Uchar.of_int 10877]
  | "les" -> [Uchar.of_int 10877]
  | "lescc" -> [Uchar.of_int 10920]
  | "lesdot" -> [Uchar.of_int 10879]
  | "lesdoto" -> [Uchar.of_int 10881]
  | "lesdotor" -> [Uchar.of_int 10883]
  | "lesg" -> [Uchar.of_int 8922; Uchar.of_int 65024]
  | "lesges" -> [Uchar.of_int 10899]
  | "lessapprox" -> [Uchar.of_int 10885]
  | "lessdot" -> [Uchar.of_int 8918]
  | "lesseqgtr" -> [Uchar.of_int 8922]
  | "lesseqqgtr" -> [Uchar.of_int 10891]
  | "lessgtr" -> [Uchar.of_int 8822]
  | "lesssim" -> [Uchar.of_int 8818]
  | "lfisht" -> [Uchar.of_int 10620]
  | "lfloor" -> [Uchar.of_int 8970]
  | "lfr" -> [Uchar.of_int 120105]
  | "lg" -> [Uchar.of_int 8822]
  | "lgE" -> [Uchar.of_int 10897]
  | "lhard" -> [Uchar.of_int 8637]
  | "lharu" -> [Uchar.of_int 8636]
  | "lharul" -> [Uchar.of_int 10602]
  | "lhblk" -> [Uchar.of_int 9604]
  | "ljcy" -> [Uchar.of_int 1113]
  | "ll" -> [Uchar.of_int 8810]
  | "llarr" -> [Uchar.of_int 8647]
  | "llcorner" -> [Uchar.of_int 8990]
  | "llhard" -> [Uchar.of_int 10603]
  | "lltri" -> [Uchar.of_int 9722]
  | "lmidot" -> [Uchar.of_int 320]
  | "lmoust" -> [Uchar.of_int 9136]
  | "lmoustache" -> [Uchar.of_int 9136]
  | "lnE" -> [Uchar.of_int 8808]
  | "lnap" -> [Uchar.of_int 10889]
  | "lnapprox" -> [Uchar.of_int 10889]
  | "lne" -> [Uchar.of_int 10887]
  | "lneq" -> [Uchar.of_int 10887]
  | "lneqq" -> [Uchar.of_int 8808]
  | "lnsim" -> [Uchar.of_int 8934]
  | "loang" -> [Uchar.of_int 10220]
  | "loarr" -> [Uchar.of_int 8701]
  | "lobrk" -> [Uchar.of_int 10214]
  | "longleftarrow" -> [Uchar.of_int 10229]
  | "longleftrightarrow" -> [Uchar.of_int 10231]
  | "longmapsto" -> [Uchar.of_int 10236]
  | "longrightarrow" -> [Uchar.of_int 10230]
  | "looparrowleft" -> [Uchar.of_int 8619]
  | "looparrowright" -> [Uchar.of_int 8620]
  | "lopar" -> [Uchar.of_int 10629]
  | "lopf" -> [Uchar.of_int 120157]
  | "loplus" -> [Uchar.of_int 10797]
  | "lotimes" -> [Uchar.of_int 10804]
  | "lowast" -> [Uchar.of_int 8727]
  | "lowbar" -> [Uchar.of_int 95]
  | "loz" -> [Uchar.of_int 9674]
  | "lozenge" -> [Uchar.of_int 9674]
  | "lozf" -> [Uchar.of_int 10731]
  | "lpar" -> [Uchar.of_int 40]
  | "lparlt" -> [Uchar.of_int 10643]
  | "lrarr" -> [Uchar.of_int 8646]
  | "lrcorner" -> [Uchar.of_int 8991]
  | "lrhar" -> [Uchar.of_int 8651]
  | "lrhard" -> [Uchar.of_int 10605]
  | "lrm" -> [Uchar.of_int 8206]
  | "lrtri" -> [Uchar.of_int 8895]
  | "lsaquo" -> [Uchar.of_int 8249]
  | "lscr" -> [Uchar.of_int 120001]
  | "lsh" -> [Uchar.of_int 8624]
  | "lsim" -> [Uchar.of_int 8818]
  | "lsime" -> [Uchar.of_int 10893]
  | "lsimg" -> [Uchar.of_int 10895]
  | "lsqb" -> [Uchar.of_int 91]
  | "lsquo" -> [Uchar.of_int 8216]
  | "lsquor" -> [Uchar.of_int 8218]
  | "lstrok" -> [Uchar.of_int 322]
  | "lt" -> [Uchar.of_int 60]
  | "ltcc" -> [Uchar.of_int 10918]
  | "ltcir" -> [Uchar.of_int 10873]
  | "ltdot" -> [Uchar.of_int 8918]
  | "lthree" -> [Uchar.of_int 8907]
  | "ltimes" -> [Uchar.of_int 8905]
  | "ltlarr" -> [Uchar.of_int 10614]
  | "ltquest" -> [Uchar.of_int 10875]
  | "ltrPar" -> [Uchar.of_int 10646]
  | "ltri" -> [Uchar.of_int 9667]
  | "ltrie" -> [Uchar.of_int 8884]
  | "ltrif" -> [Uchar.of_int 9666]
  | "lurdshar" -> [Uchar.of_int 10570]
  | "luruhar" -> [Uchar.of_int 10598]
  | "lvertneqq" -> [Uchar.of_int 8808; Uchar.of_int 65024]
  | "lvnE" -> [Uchar.of_int 8808; Uchar.of_int 65024]
  | "mDDot" -> [Uchar.of_int 8762]
  | "macr" -> [Uchar.of_int 175]
  | "male" -> [Uchar.of_int 9794]
  | "malt" -> [Uchar.of_int 10016]
  | "maltese" -> [Uchar.of_int 10016]
  | "map" -> [Uchar.of_int 8614]
  | "mapsto" -> [Uchar.of_int 8614]
  | "mapstodown" -> [Uchar.of_int 8615]
  | "mapstoleft" -> [Uchar.of_int 8612]
  | "mapstoup" -> [Uchar.of_int 8613]
  | "marker" -> [Uchar.of_int 9646]
  | "mcomma" -> [Uchar.of_int 10793]
  | "mcy" -> [Uchar.of_int 1084]
  | "mdash" -> [Uchar.of_int 8212]
  | "measuredangle" -> [Uchar.of_int 8737]
  | "mfr" -> [Uchar.of_int 120106]
  | "mho" -> [Uchar.of_int 8487]
  | "micro" -> [Uchar.of_int 181]
  | "mid" -> [Uchar.of_int 8739]
  | "midast" -> [Uchar.of_int 42]
  | "midcir" -> [Uchar.of_int 10992]
  | "middot" -> [Uchar.of_int 183]
  | "minus" -> [Uchar.of_int 8722]
  | "minusb" -> [Uchar.of_int 8863]
  | "minusd" -> [Uchar.of_int 8760]
  | "minusdu" -> [Uchar.of_int 10794]
  | "mlcp" -> [Uchar.of_int 10971]
  | "mldr" -> [Uchar.of_int 8230]
  | "mnplus" -> [Uchar.of_int 8723]
  | "models" -> [Uchar.of_int 8871]
  | "mopf" -> [Uchar.of_int 120158]
  | "mp" -> [Uchar.of_int 8723]
  | "mscr" -> [Uchar.of_int 120002]
  | "mstpos" -> [Uchar.of_int 8766]
  | "mu" -> [Uchar.of_int 956]
  | "multimap" -> [Uchar.of_int 8888]
  | "mumap" -> [Uchar.of_int 8888]
  | "nGg" -> [Uchar.of_int 8921; Uchar.of_int 824]
  | "nGt" -> [Uchar.of_int 8811; Uchar.of_int 8402]
  | "nGtv" -> [Uchar.of_int 8811; Uchar.of_int 824]
  | "nLeftarrow" -> [Uchar.of_int 8653]
  | "nLeftrightarrow" -> [Uchar.of_int 8654]
  | "nLl" -> [Uchar.of_int 8920; Uchar.of_int 824]
  | "nLt" -> [Uchar.of_int 8810; Uchar.of_int 8402]
  | "nLtv" -> [Uchar.of_int 8810; Uchar.of_int 824]
  | "nRightarrow" -> [Uchar.of_int 8655]
  | "nVDash" -> [Uchar.of_int 8879]
  | "nVdash" -> [Uchar.of_int 8878]
  | "nabla" -> [Uchar.of_int 8711]
  | "nacute" -> [Uchar.of_int 324]
  | "nang" -> [Uchar.of_int 8736; Uchar.of_int 8402]
  | "nap" -> [Uchar.of_int 8777]
  | "napE" -> [Uchar.of_int 10864; Uchar.of_int 824]
  | "napid" -> [Uchar.of_int 8779; Uchar.of_int 824]
  | "napos" -> [Uchar.of_int 329]
  | "napprox" -> [Uchar.of_int 8777]
  | "natur" -> [Uchar.of_int 9838]
  | "natural" -> [Uchar.of_int 9838]
  | "naturals" -> [Uchar.of_int 8469]
  | "nbsp" -> [Uchar.of_int 160]
  | "nbump" -> [Uchar.of_int 8782; Uchar.of_int 824]
  | "nbumpe" -> [Uchar.of_int 8783; Uchar.of_int 824]
  | "ncap" -> [Uchar.of_int 10819]
  | "ncaron" -> [Uchar.of_int 328]
  | "ncedil" -> [Uchar.of_int 326]
  | "ncong" -> [Uchar.of_int 8775]
  | "ncongdot" -> [Uchar.of_int 10861; Uchar.of_int 824]
  | "ncup" -> [Uchar.of_int 10818]
  | "ncy" -> [Uchar.of_int 1085]
  | "ndash" -> [Uchar.of_int 8211]
  | "ne" -> [Uchar.of_int 8800]
  | "neArr" -> [Uchar.of_int 8663]
  | "nearhk" -> [Uchar.of_int 10532]
  | "nearr" -> [Uchar.of_int 8599]
  | "nearrow" -> [Uchar.of_int 8599]
  | "nedot" -> [Uchar.of_int 8784; Uchar.of_int 824]
  | "nequiv" -> [Uchar.of_int 8802]
  | "nesear" -> [Uchar.of_int 10536]
  | "nesim" -> [Uchar.of_int 8770; Uchar.of_int 824]
  | "nexist" -> [Uchar.of_int 8708]
  | "nexists" -> [Uchar.of_int 8708]
  | "nfr" -> [Uchar.of_int 120107]
  | "ngE" -> [Uchar.of_int 8807; Uchar.of_int 824]
  | "nge" -> [Uchar.of_int 8817]
  | "ngeq" -> [Uchar.of_int 8817]
  | "ngeqq" -> [Uchar.of_int 8807; Uchar.of_int 824]
  | "ngeqslant" -> [Uchar.of_int 10878; Uchar.of_int 824]
  | "nges" -> [Uchar.of_int 10878; Uchar.of_int 824]
  | "ngsim" -> [Uchar.of_int 8821]
  | "ngt" -> [Uchar.of_int 8815]
  | "ngtr" -> [Uchar.of_int 8815]
  | "nhArr" -> [Uchar.of_int 8654]
  | "nharr" -> [Uchar.of_int 8622]
  | "nhpar" -> [Uchar.of_int 10994]
  | "ni" -> [Uchar.of_int 8715]
  | "nis" -> [Uchar.of_int 8956]
  | "nisd" -> [Uchar.of_int 8954]
  | "niv" -> [Uchar.of_int 8715]
  | "njcy" -> [Uchar.of_int 1114]
  | "nlArr" -> [Uchar.of_int 8653]
  | "nlE" -> [Uchar.of_int 8806; Uchar.of_int 824]
  | "nlarr" -> [Uchar.of_int 8602]
  | "nldr" -> [Uchar.of_int 8229]
  | "nle" -> [Uchar.of_int 8816]
  | "nleftarrow" -> [Uchar.of_int 8602]
  | "nleftrightarrow" -> [Uchar.of_int 8622]
  | "nleq" -> [Uchar.of_int 8816]
  | "nleqq" -> [Uchar.of_int 8806; Uchar.of_int 824]
  | "nleqslant" -> [Uchar.of_int 10877; Uchar.of_int 824]
  | "nles" -> [Uchar.of_int 10877; Uchar.of_int 824]
  | "nless" -> [Uchar.of_int 8814]
  | "nlsim" -> [Uchar.of_int 8820]
  | "nlt" -> [Uchar.of_int 8814]
  | "nltri" -> [Uchar.of_int 8938]
  | "nltrie" -> [Uchar.of_int 8940]
  | "nmid" -> [Uchar.of_int 8740]
  | "nopf" -> [Uchar.of_int 120159]
  | "not" -> [Uchar.of_int 172]
  | "notin" -> [Uchar.of_int 8713]
  | "notinE" -> [Uchar.of_int 8953; Uchar.of_int 824]
  | "notindot" -> [Uchar.of_int 8949; Uchar.of_int 824]
  | "notinva" -> [Uchar.of_int 8713]
  | "notinvb" -> [Uchar.of_int 8951]
  | "notinvc" -> [Uchar.of_int 8950]
  | "notni" -> [Uchar.of_int 8716]
  | "notniva" -> [Uchar.of_int 8716]
  | "notnivb" -> [Uchar.of_int 8958]
  | "notnivc" -> [Uchar.of_int 8957]
  | "npar" -> [Uchar.of_int 8742]
  | "nparallel" -> [Uchar.of_int 8742]
  | "nparsl" -> [Uchar.of_int 11005; Uchar.of_int 8421]
  | "npart" -> [Uchar.of_int 8706; Uchar.of_int 824]
  | "npolint" -> [Uchar.of_int 10772]
  | "npr" -> [Uchar.of_int 8832]
  | "nprcue" -> [Uchar.of_int 8928]
  | "npre" -> [Uchar.of_int 10927; Uchar.of_int 824]
  | "nprec" -> [Uchar.of_int 8832]
  | "npreceq" -> [Uchar.of_int 10927; Uchar.of_int 824]
  | "nrArr" -> [Uchar.of_int 8655]
  | "nrarr" -> [Uchar.of_int 8603]
  | "nrarrc" -> [Uchar.of_int 10547; Uchar.of_int 824]
  | "nrarrw" -> [Uchar.of_int 8605; Uchar.of_int 824]
  | "nrightarrow" -> [Uchar.of_int 8603]
  | "nrtri" -> [Uchar.of_int 8939]
  | "nrtrie" -> [Uchar.of_int 8941]
  | "nsc" -> [Uchar.of_int 8833]
  | "nsccue" -> [Uchar.of_int 8929]
  | "nsce" -> [Uchar.of_int 10928; Uchar.of_int 824]
  | "nscr" -> [Uchar.of_int 120003]
  | "nshortmid" -> [Uchar.of_int 8740]
  | "nshortparallel" -> [Uchar.of_int 8742]
  | "nsim" -> [Uchar.of_int 8769]
  | "nsime" -> [Uchar.of_int 8772]
  | "nsimeq" -> [Uchar.of_int 8772]
  | "nsmid" -> [Uchar.of_int 8740]
  | "nspar" -> [Uchar.of_int 8742]
  | "nsqsube" -> [Uchar.of_int 8930]
  | "nsqsupe" -> [Uchar.of_int 8931]
  | "nsub" -> [Uchar.of_int 8836]
  | "nsubE" -> [Uchar.of_int 10949; Uchar.of_int 824]
  | "nsube" -> [Uchar.of_int 8840]
  | "nsubset" -> [Uchar.of_int 8834; Uchar.of_int 8402]
  | "nsubseteq" -> [Uchar.of_int 8840]
  | "nsubseteqq" -> [Uchar.of_int 10949; Uchar.of_int 824]
  | "nsucc" -> [Uchar.of_int 8833]
  | "nsucceq" -> [Uchar.of_int 10928; Uchar.of_int 824]
  | "nsup" -> [Uchar.of_int 8837]
  | "nsupE" -> [Uchar.of_int 10950; Uchar.of_int 824]
  | "nsupe" -> [Uchar.of_int 8841]
  | "nsupset" -> [Uchar.of_int 8835; Uchar.of_int 8402]
  | "nsupseteq" -> [Uchar.of_int 8841]
  | "nsupseteqq" -> [Uchar.of_int 10950; Uchar.of_int 824]
  | "ntgl" -> [Uchar.of_int 8825]
  | "ntilde" -> [Uchar.of_int 241]
  | "ntlg" -> [Uchar.of_int 8824]
  | "ntriangleleft" -> [Uchar.of_int 8938]
  | "ntrianglelefteq" -> [Uchar.of_int 8940]
  | "ntriangleright" -> [Uchar.of_int 8939]
  | "ntrianglerighteq" -> [Uchar.of_int 8941]
  | "nu" -> [Uchar.of_int 957]
  | "num" -> [Uchar.of_int 35]
  | "numero" -> [Uchar.of_int 8470]
  | "numsp" -> [Uchar.of_int 8199]
  | "nvDash" -> [Uchar.of_int 8877]
  | "nvHarr" -> [Uchar.of_int 10500]
  | "nvap" -> [Uchar.of_int 8781; Uchar.of_int 8402]
  | "nvdash" -> [Uchar.of_int 8876]
  | "nvge" -> [Uchar.of_int 8805; Uchar.of_int 8402]
  | "nvgt" -> [Uchar.of_int 62; Uchar.of_int 8402]
  | "nvinfin" -> [Uchar.of_int 10718]
  | "nvlArr" -> [Uchar.of_int 10498]
  | "nvle" -> [Uchar.of_int 8804; Uchar.of_int 8402]
  | "nvlt" -> [Uchar.of_int 60; Uchar.of_int 8402]
  | "nvltrie" -> [Uchar.of_int 8884; Uchar.of_int 8402]
  | "nvrArr" -> [Uchar.of_int 10499]
  | "nvrtrie" -> [Uchar.of_int 8885; Uchar.of_int 8402]
  | "nvsim" -> [Uchar.of_int 8764; Uchar.of_int 8402]
  | "nwArr" -> [Uchar.of_int 8662]
  | "nwarhk" -> [Uchar.of_int 10531]
  | "nwarr" -> [Uchar.of_int 8598]
  | "nwarrow" -> [Uchar.of_int 8598]
  | "nwnear" -> [Uchar.of_int 10535]
  | "oS" -> [Uchar.of_int 9416]
  | "oacute" -> [Uchar.of_int 243]
  | "oast" -> [Uchar.of_int 8859]
  | "ocir" -> [Uchar.of_int 8858]
  | "ocirc" -> [Uchar.of_int 244]
  | "ocy" -> [Uchar.of_int 1086]
  | "odash" -> [Uchar.of_int 8861]
  | "odblac" -> [Uchar.of_int 337]
  | "odiv" -> [Uchar.of_int 10808]
  | "odot" -> [Uchar.of_int 8857]
  | "odsold" -> [Uchar.of_int 10684]
  | "oelig" -> [Uchar.of_int 339]
  | "ofcir" -> [Uchar.of_int 10687]
  | "ofr" -> [Uchar.of_int 120108]
  | "ogon" -> [Uchar.of_int 731]
  | "ograve" -> [Uchar.of_int 242]
  | "ogt" -> [Uchar.of_int 10689]
  | "ohbar" -> [Uchar.of_int 10677]
  | "ohm" -> [Uchar.of_int 937]
  | "oint" -> [Uchar.of_int 8750]
  | "olarr" -> [Uchar.of_int 8634]
  | "olcir" -> [Uchar.of_int 10686]
  | "olcross" -> [Uchar.of_int 10683]
  | "oline" -> [Uchar.of_int 8254]
  | "olt" -> [Uchar.of_int 10688]
  | "omacr" -> [Uchar.of_int 333]
  | "omega" -> [Uchar.of_int 969]
  | "omicron" -> [Uchar.of_int 959]
  | "omid" -> [Uchar.of_int 10678]
  | "ominus" -> [Uchar.of_int 8854]
  | "oopf" -> [Uchar.of_int 120160]
  | "opar" -> [Uchar.of_int 10679]
  | "operp" -> [Uchar.of_int 10681]
  | "oplus" -> [Uchar.of_int 8853]
  | "or" -> [Uchar.of_int 8744]
  | "orarr" -> [Uchar.of_int 8635]
  | "ord" -> [Uchar.of_int 10845]
  | "order" -> [Uchar.of_int 8500]
  | "orderof" -> [Uchar.of_int 8500]
  | "ordf" -> [Uchar.of_int 170]
  | "ordm" -> [Uchar.of_int 186]
  | "origof" -> [Uchar.of_int 8886]
  | "oror" -> [Uchar.of_int 10838]
  | "orslope" -> [Uchar.of_int 10839]
  | "orv" -> [Uchar.of_int 10843]
  | "oscr" -> [Uchar.of_int 8500]
  | "oslash" -> [Uchar.of_int 248]
  | "osol" -> [Uchar.of_int 8856]
  | "otilde" -> [Uchar.of_int 245]
  | "otimes" -> [Uchar.of_int 8855]
  | "otimesas" -> [Uchar.of_int 10806]
  | "ouml" -> [Uchar.of_int 246]
  | "ovbar" -> [Uchar.of_int 9021]
  | "par" -> [Uchar.of_int 8741]
  | "para" -> [Uchar.of_int 182]
  | "parallel" -> [Uchar.of_int 8741]
  | "parsim" -> [Uchar.of_int 10995]
  | "parsl" -> [Uchar.of_int 11005]
  | "part" -> [Uchar.of_int 8706]
  | "pcy" -> [Uchar.of_int 1087]
  | "percnt" -> [Uchar.of_int 37]
  | "period" -> [Uchar.of_int 46]
  | "permil" -> [Uchar.of_int 8240]
  | "perp" -> [Uchar.of_int 8869]
  | "pertenk" -> [Uchar.of_int 8241]
  | "pfr" -> [Uchar.of_int 120109]
  | "phi" -> [Uchar.of_int 966]
  | "phiv" -> [Uchar.of_int 981]
  | "phmmat" -> [Uchar.of_int 8499]
  | "phone" -> [Uchar.of_int 9742]
  | "pi" -> [Uchar.of_int 960]
  | "pitchfork" -> [Uchar.of_int 8916]
  | "piv" -> [Uchar.of_int 982]
  | "planck" -> [Uchar.of_int 8463]
  | "planckh" -> [Uchar.of_int 8462]
  | "plankv" -> [Uchar.of_int 8463]
  | "plus" -> [Uchar.of_int 43]
  | "plusacir" -> [Uchar.of_int 10787]
  | "plusb" -> [Uchar.of_int 8862]
  | "pluscir" -> [Uchar.of_int 10786]
  | "plusdo" -> [Uchar.of_int 8724]
  | "plusdu" -> [Uchar.of_int 10789]
  | "pluse" -> [Uchar.of_int 10866]
  | "plusmn" -> [Uchar.of_int 177]
  | "plussim" -> [Uchar.of_int 10790]
  | "plustwo" -> [Uchar.of_int 10791]
  | "pm" -> [Uchar.of_int 177]
  | "pointint" -> [Uchar.of_int 10773]
  | "popf" -> [Uchar.of_int 120161]
  | "pound" -> [Uchar.of_int 163]
  | "pr" -> [Uchar.of_int 8826]
  | "prE" -> [Uchar.of_int 10931]
  | "prap" -> [Uchar.of_int 10935]
  | "prcue" -> [Uchar.of_int 8828]
  | "pre" -> [Uchar.of_int 10927]
  | "prec" -> [Uchar.of_int 8826]
  | "precapprox" -> [Uchar.of_int 10935]
  | "preccurlyeq" -> [Uchar.of_int 8828]
  | "preceq" -> [Uchar.of_int 10927]
  | "precnapprox" -> [Uchar.of_int 10937]
  | "precneqq" -> [Uchar.of_int 10933]
  | "precnsim" -> [Uchar.of_int 8936]
  | "precsim" -> [Uchar.of_int 8830]
  | "prime" -> [Uchar.of_int 8242]
  | "primes" -> [Uchar.of_int 8473]
  | "prnE" -> [Uchar.of_int 10933]
  | "prnap" -> [Uchar.of_int 10937]
  | "prnsim" -> [Uchar.of_int 8936]
  | "prod" -> [Uchar.of_int 8719]
  | "profalar" -> [Uchar.of_int 9006]
  | "profline" -> [Uchar.of_int 8978]
  | "profsurf" -> [Uchar.of_int 8979]
  | "prop" -> [Uchar.of_int 8733]
  | "propto" -> [Uchar.of_int 8733]
  | "prsim" -> [Uchar.of_int 8830]
  | "prurel" -> [Uchar.of_int 8880]
  | "pscr" -> [Uchar.of_int 120005]
  | "psi" -> [Uchar.of_int 968]
  | "puncsp" -> [Uchar.of_int 8200]
  | "qfr" -> [Uchar.of_int 120110]
  | "qint" -> [Uchar.of_int 10764]
  | "qopf" -> [Uchar.of_int 120162]
  | "qprime" -> [Uchar.of_int 8279]
  | "qscr" -> [Uchar.of_int 120006]
  | "quaternions" -> [Uchar.of_int 8461]
  | "quatint" -> [Uchar.of_int 10774]
  | "quest" -> [Uchar.of_int 63]
  | "questeq" -> [Uchar.of_int 8799]
  | "quot" -> [Uchar.of_int 34]
  | "rAarr" -> [Uchar.of_int 8667]
  | "rArr" -> [Uchar.of_int 8658]
  | "rAtail" -> [Uchar.of_int 10524]
  | "rBarr" -> [Uchar.of_int 10511]
  | "rHar" -> [Uchar.of_int 10596]
  | "race" -> [Uchar.of_int 8765; Uchar.of_int 817]
  | "racute" -> [Uchar.of_int 341]
  | "radic" -> [Uchar.of_int 8730]
  | "raemptyv" -> [Uchar.of_int 10675]
  | "rang" -> [Uchar.of_int 10217]
  | "rangd" -> [Uchar.of_int 10642]
  | "range" -> [Uchar.of_int 10661]
  | "rangle" -> [Uchar.of_int 10217]
  | "raquo" -> [Uchar.of_int 187]
  | "rarr" -> [Uchar.of_int 8594]
  | "rarrap" -> [Uchar.of_int 10613]
  | "rarrb" -> [Uchar.of_int 8677]
  | "rarrbfs" -> [Uchar.of_int 10528]
  | "rarrc" -> [Uchar.of_int 10547]
  | "rarrfs" -> [Uchar.of_int 10526]
  | "rarrhk" -> [Uchar.of_int 8618]
  | "rarrlp" -> [Uchar.of_int 8620]
  | "rarrpl" -> [Uchar.of_int 10565]
  | "rarrsim" -> [Uchar.of_int 10612]
  | "rarrtl" -> [Uchar.of_int 8611]
  | "rarrw" -> [Uchar.of_int 8605]
  | "ratail" -> [Uchar.of_int 10522]
  | "ratio" -> [Uchar.of_int 8758]
  | "rationals" -> [Uchar.of_int 8474]
  | "rbarr" -> [Uchar.of_int 10509]
  | "rbbrk" -> [Uchar.of_int 10099]
  | "rbrace" -> [Uchar.of_int 125]
  | "rbrack" -> [Uchar.of_int 93]
  | "rbrke" -> [Uchar.of_int 10636]
  | "rbrksld" -> [Uchar.of_int 10638]
  | "rbrkslu" -> [Uchar.of_int 10640]
  | "rcaron" -> [Uchar.of_int 345]
  | "rcedil" -> [Uchar.of_int 343]
  | "rceil" -> [Uchar.of_int 8969]
  | "rcub" -> [Uchar.of_int 125]
  | "rcy" -> [Uchar.of_int 1088]
  | "rdca" -> [Uchar.of_int 10551]
  | "rdldhar" -> [Uchar.of_int 10601]
  | "rdquo" -> [Uchar.of_int 8221]
  | "rdquor" -> [Uchar.of_int 8221]
  | "rdsh" -> [Uchar.of_int 8627]
  | "real" -> [Uchar.of_int 8476]
  | "realine" -> [Uchar.of_int 8475]
  | "realpart" -> [Uchar.of_int 8476]
  | "reals" -> [Uchar.of_int 8477]
  | "rect" -> [Uchar.of_int 9645]
  | "reg" -> [Uchar.of_int 174]
  | "rfisht" -> [Uchar.of_int 10621]
  | "rfloor" -> [Uchar.of_int 8971]
  | "rfr" -> [Uchar.of_int 120111]
  | "rhard" -> [Uchar.of_int 8641]
  | "rharu" -> [Uchar.of_int 8640]
  | "rharul" -> [Uchar.of_int 10604]
  | "rho" -> [Uchar.of_int 961]
  | "rhov" -> [Uchar.of_int 1009]
  | "rightarrow" -> [Uchar.of_int 8594]
  | "rightarrowtail" -> [Uchar.of_int 8611]
  | "rightharpoondown" -> [Uchar.of_int 8641]
  | "rightharpoonup" -> [Uchar.of_int 8640]
  | "rightleftarrows" -> [Uchar.of_int 8644]
  | "rightleftharpoons" -> [Uchar.of_int 8652]
  | "rightrightarrows" -> [Uchar.of_int 8649]
  | "rightsquigarrow" -> [Uchar.of_int 8605]
  | "rightthreetimes" -> [Uchar.of_int 8908]
  | "ring" -> [Uchar.of_int 730]
  | "risingdotseq" -> [Uchar.of_int 8787]
  | "rlarr" -> [Uchar.of_int 8644]
  | "rlhar" -> [Uchar.of_int 8652]
  | "rlm" -> [Uchar.of_int 8207]
  | "rmoust" -> [Uchar.of_int 9137]
  | "rmoustache" -> [Uchar.of_int 9137]
  | "rnmid" -> [Uchar.of_int 10990]
  | "roang" -> [Uchar.of_int 10221]
  | "roarr" -> [Uchar.of_int 8702]
  | "robrk" -> [Uchar.of_int 10215]
  | "ropar" -> [Uchar.of_int 10630]
  | "ropf" -> [Uchar.of_int 120163]
  | "roplus" -> [Uchar.of_int 10798]
  | "rotimes" -> [Uchar.of_int 10805]
  | "rpar" -> [Uchar.of_int 41]
  | "rpargt" -> [Uchar.of_int 10644]
  | "rppolint" -> [Uchar.of_int 10770]
  | "rrarr" -> [Uchar.of_int 8649]
  | "rsaquo" -> [Uchar.of_int 8250]
  | "rscr" -> [Uchar.of_int 120007]
  | "rsh" -> [Uchar.of_int 8625]
  | "rsqb" -> [Uchar.of_int 93]
  | "rsquo" -> [Uchar.of_int 8217]
  | "rsquor" -> [Uchar.of_int 8217]
  | "rthree" -> [Uchar.of_int 8908]
  | "rtimes" -> [Uchar.of_int 8906]
  | "rtri" -> [Uchar.of_int 9657]
  | "rtrie" -> [Uchar.of_int 8885]
  | "rtrif" -> [Uchar.of_int 9656]
  | "rtriltri" -> [Uchar.of_int 10702]
  | "ruluhar" -> [Uchar.of_int 10600]
  | "rx" -> [Uchar.of_int 8478]
  | "sacute" -> [Uchar.of_int 347]
  | "sbquo" -> [Uchar.of_int 8218]
  | "sc" -> [Uchar.of_int 8827]
  | "scE" -> [Uchar.of_int 10932]
  | "scap" -> [Uchar.of_int 10936]
  | "scaron" -> [Uchar.of_int 353]
  | "sccue" -> [Uchar.of_int 8829]
  | "sce" -> [Uchar.of_int 10928]
  | "scedil" -> [Uchar.of_int 351]
  | "scirc" -> [Uchar.of_int 349]
  | "scnE" -> [Uchar.of_int 10934]
  | "scnap" -> [Uchar.of_int 10938]
  | "scnsim" -> [Uchar.of_int 8937]
  | "scpolint" -> [Uchar.of_int 10771]
  | "scsim" -> [Uchar.of_int 8831]
  | "scy" -> [Uchar.of_int 1089]
  | "sdot" -> [Uchar.of_int 8901]
  | "sdotb" -> [Uchar.of_int 8865]
  | "sdote" -> [Uchar.of_int 10854]
  | "seArr" -> [Uchar.of_int 8664]
  | "searhk" -> [Uchar.of_int 10533]
  | "searr" -> [Uchar.of_int 8600]
  | "searrow" -> [Uchar.of_int 8600]
  | "sect" -> [Uchar.of_int 167]
  | "semi" -> [Uchar.of_int 59]
  | "seswar" -> [Uchar.of_int 10537]
  | "setminus" -> [Uchar.of_int 8726]
  | "setmn" -> [Uchar.of_int 8726]
  | "sext" -> [Uchar.of_int 10038]
  | "sfr" -> [Uchar.of_int 120112]
  | "sfrown" -> [Uchar.of_int 8994]
  | "sharp" -> [Uchar.of_int 9839]
  | "shchcy" -> [Uchar.of_int 1097]
  | "shcy" -> [Uchar.of_int 1096]
  | "shortmid" -> [Uchar.of_int 8739]
  | "shortparallel" -> [Uchar.of_int 8741]
  | "shy" -> [Uchar.of_int 173]
  | "sigma" -> [Uchar.of_int 963]
  | "sigmaf" -> [Uchar.of_int 962]
  | "sigmav" -> [Uchar.of_int 962]
  | "sim" -> [Uchar.of_int 8764]
  | "simdot" -> [Uchar.of_int 10858]
  | "sime" -> [Uchar.of_int 8771]
  | "simeq" -> [Uchar.of_int 8771]
  | "simg" -> [Uchar.of_int 10910]
  | "simgE" -> [Uchar.of_int 10912]
  | "siml" -> [Uchar.of_int 10909]
  | "simlE" -> [Uchar.of_int 10911]
  | "simne" -> [Uchar.of_int 8774]
  | "simplus" -> [Uchar.of_int 10788]
  | "simrarr" -> [Uchar.of_int 10610]
  | "slarr" -> [Uchar.of_int 8592]
  | "smallsetminus" -> [Uchar.of_int 8726]
  | "smashp" -> [Uchar.of_int 10803]
  | "smeparsl" -> [Uchar.of_int 10724]
  | "smid" -> [Uchar.of_int 8739]
  | "smile" -> [Uchar.of_int 8995]
  | "smt" -> [Uchar.of_int 10922]
  | "smte" -> [Uchar.of_int 10924]
  | "smtes" -> [Uchar.of_int 10924; Uchar.of_int 65024]
  | "softcy" -> [Uchar.of_int 1100]
  | "sol" -> [Uchar.of_int 47]
  | "solb" -> [Uchar.of_int 10692]
  | "solbar" -> [Uchar.of_int 9023]
  | "sopf" -> [Uchar.of_int 120164]
  | "spades" -> [Uchar.of_int 9824]
  | "spadesuit" -> [Uchar.of_int 9824]
  | "spar" -> [Uchar.of_int 8741]
  | "sqcap" -> [Uchar.of_int 8851]
  | "sqcaps" -> [Uchar.of_int 8851; Uchar.of_int 65024]
  | "sqcup" -> [Uchar.of_int 8852]
  | "sqcups" -> [Uchar.of_int 8852; Uchar.of_int 65024]
  | "sqsub" -> [Uchar.of_int 8847]
  | "sqsube" -> [Uchar.of_int 8849]
  | "sqsubset" -> [Uchar.of_int 8847]
  | "sqsubseteq" -> [Uchar.of_int 8849]
  | "sqsup" -> [Uchar.of_int 8848]
  | "sqsupe" -> [Uchar.of_int 8850]
  | "sqsupset" -> [Uchar.of_int 8848]
  | "sqsupseteq" -> [Uchar.of_int 8850]
  | "squ" -> [Uchar.of_int 9633]
  | "square" -> [Uchar.of_int 9633]
  | "squarf" -> [Uchar.of_int 9642]
  | "squf" -> [Uchar.of_int 9642]
  | "srarr" -> [Uchar.of_int 8594]
  | "sscr" -> [Uchar.of_int 120008]
  | "ssetmn" -> [Uchar.of_int 8726]
  | "ssmile" -> [Uchar.of_int 8995]
  | "sstarf" -> [Uchar.of_int 8902]
  | "star" -> [Uchar.of_int 9734]
  | "starf" -> [Uchar.of_int 9733]
  | "straightepsilon" -> [Uchar.of_int 1013]
  | "straightphi" -> [Uchar.of_int 981]
  | "strns" -> [Uchar.of_int 175]
  | "sub" -> [Uchar.of_int 8834]
  | "subE" -> [Uchar.of_int 10949]
  | "subdot" -> [Uchar.of_int 10941]
  | "sube" -> [Uchar.of_int 8838]
  | "subedot" -> [Uchar.of_int 10947]
  | "submult" -> [Uchar.of_int 10945]
  | "subnE" -> [Uchar.of_int 10955]
  | "subne" -> [Uchar.of_int 8842]
  | "subplus" -> [Uchar.of_int 10943]
  | "subrarr" -> [Uchar.of_int 10617]
  | "subset" -> [Uchar.of_int 8834]
  | "subseteq" -> [Uchar.of_int 8838]
  | "subseteqq" -> [Uchar.of_int 10949]
  | "subsetneq" -> [Uchar.of_int 8842]
  | "subsetneqq" -> [Uchar.of_int 10955]
  | "subsim" -> [Uchar.of_int 10951]
  | "subsub" -> [Uchar.of_int 10965]
  | "subsup" -> [Uchar.of_int 10963]
  | "succ" -> [Uchar.of_int 8827]
  | "succapprox" -> [Uchar.of_int 10936]
  | "succcurlyeq" -> [Uchar.of_int 8829]
  | "succeq" -> [Uchar.of_int 10928]
  | "succnapprox" -> [Uchar.of_int 10938]
  | "succneqq" -> [Uchar.of_int 10934]
  | "succnsim" -> [Uchar.of_int 8937]
  | "succsim" -> [Uchar.of_int 8831]
  | "sum" -> [Uchar.of_int 8721]
  | "sung" -> [Uchar.of_int 9834]
  | "sup1" -> [Uchar.of_int 185]
  | "sup2" -> [Uchar.of_int 178]
  | "sup3" -> [Uchar.of_int 179]
  | "sup" -> [Uchar.of_int 8835]
  | "supE" -> [Uchar.of_int 10950]
  | "supdot" -> [Uchar.of_int 10942]
  | "supdsub" -> [Uchar.of_int 10968]
  | "supe" -> [Uchar.of_int 8839]
  | "supedot" -> [Uchar.of_int 10948]
  | "suphsol" -> [Uchar.of_int 10185]
  | "suphsub" -> [Uchar.of_int 10967]
  | "suplarr" -> [Uchar.of_int 10619]
  | "supmult" -> [Uchar.of_int 10946]
  | "supnE" -> [Uchar.of_int 10956]
  | "supne" -> [Uchar.of_int 8843]
  | "supplus" -> [Uchar.of_int 10944]
  | "supset" -> [Uchar.of_int 8835]
  | "supseteq" -> [Uchar.of_int 8839]
  | "supseteqq" -> [Uchar.of_int 10950]
  | "supsetneq" -> [Uchar.of_int 8843]
  | "supsetneqq" -> [Uchar.of_int 10956]
  | "supsim" -> [Uchar.of_int 10952]
  | "supsub" -> [Uchar.of_int 10964]
  | "supsup" -> [Uchar.of_int 10966]
  | "swArr" -> [Uchar.of_int 8665]
  | "swarhk" -> [Uchar.of_int 10534]
  | "swarr" -> [Uchar.of_int 8601]
  | "swarrow" -> [Uchar.of_int 8601]
  | "swnwar" -> [Uchar.of_int 10538]
  | "szlig" -> [Uchar.of_int 223]
  | "target" -> [Uchar.of_int 8982]
  | "tau" -> [Uchar.of_int 964]
  | "tbrk" -> [Uchar.of_int 9140]
  | "tcaron" -> [Uchar.of_int 357]
  | "tcedil" -> [Uchar.of_int 355]
  | "tcy" -> [Uchar.of_int 1090]
  | "tdot" -> [Uchar.of_int 8411]
  | "telrec" -> [Uchar.of_int 8981]
  | "tfr" -> [Uchar.of_int 120113]
  | "there4" -> [Uchar.of_int 8756]
  | "therefore" -> [Uchar.of_int 8756]
  | "theta" -> [Uchar.of_int 952]
  | "thetasym" -> [Uchar.of_int 977]
  | "thetav" -> [Uchar.of_int 977]
  | "thickapprox" -> [Uchar.of_int 8776]
  | "thicksim" -> [Uchar.of_int 8764]
  | "thinsp" -> [Uchar.of_int 8201]
  | "thkap" -> [Uchar.of_int 8776]
  | "thksim" -> [Uchar.of_int 8764]
  | "thorn" -> [Uchar.of_int 254]
  | "tilde" -> [Uchar.of_int 732]
  | "times" -> [Uchar.of_int 215]
  | "timesb" -> [Uchar.of_int 8864]
  | "timesbar" -> [Uchar.of_int 10801]
  | "timesd" -> [Uchar.of_int 10800]
  | "tint" -> [Uchar.of_int 8749]
  | "toea" -> [Uchar.of_int 10536]
  | "top" -> [Uchar.of_int 8868]
  | "topbot" -> [Uchar.of_int 9014]
  | "topcir" -> [Uchar.of_int 10993]
  | "topf" -> [Uchar.of_int 120165]
  | "topfork" -> [Uchar.of_int 10970]
  | "tosa" -> [Uchar.of_int 10537]
  | "tprime" -> [Uchar.of_int 8244]
  | "trade" -> [Uchar.of_int 8482]
  | "triangle" -> [Uchar.of_int 9653]
  | "triangledown" -> [Uchar.of_int 9663]
  | "triangleleft" -> [Uchar.of_int 9667]
  | "trianglelefteq" -> [Uchar.of_int 8884]
  | "triangleq" -> [Uchar.of_int 8796]
  | "triangleright" -> [Uchar.of_int 9657]
  | "trianglerighteq" -> [Uchar.of_int 8885]
  | "tridot" -> [Uchar.of_int 9708]
  | "trie" -> [Uchar.of_int 8796]
  | "triminus" -> [Uchar.of_int 10810]
  | "triplus" -> [Uchar.of_int 10809]
  | "trisb" -> [Uchar.of_int 10701]
  | "tritime" -> [Uchar.of_int 10811]
  | "trpezium" -> [Uchar.of_int 9186]
  | "tscr" -> [Uchar.of_int 120009]
  | "tscy" -> [Uchar.of_int 1094]
  | "tshcy" -> [Uchar.of_int 1115]
  | "tstrok" -> [Uchar.of_int 359]
  | "twixt" -> [Uchar.of_int 8812]
  | "twoheadleftarrow" -> [Uchar.of_int 8606]
  | "twoheadrightarrow" -> [Uchar.of_int 8608]
  | "uArr" -> [Uchar.of_int 8657]
  | "uHar" -> [Uchar.of_int 10595]
  | "uacute" -> [Uchar.of_int 250]
  | "uarr" -> [Uchar.of_int 8593]
  | "ubrcy" -> [Uchar.of_int 1118]
  | "ubreve" -> [Uchar.of_int 365]
  | "ucirc" -> [Uchar.of_int 251]
  | "ucy" -> [Uchar.of_int 1091]
  | "udarr" -> [Uchar.of_int 8645]
  | "udblac" -> [Uchar.of_int 369]
  | "udhar" -> [Uchar.of_int 10606]
  | "ufisht" -> [Uchar.of_int 10622]
  | "ufr" -> [Uchar.of_int 120114]
  | "ugrave" -> [Uchar.of_int 249]
  | "uharl" -> [Uchar.of_int 8639]
  | "uharr" -> [Uchar.of_int 8638]
  | "uhblk" -> [Uchar.of_int 9600]
  | "ulcorn" -> [Uchar.of_int 8988]
  | "ulcorner" -> [Uchar.of_int 8988]
  | "ulcrop" -> [Uchar.of_int 8975]
  | "ultri" -> [Uchar.of_int 9720]
  | "umacr" -> [Uchar.of_int 363]
  | "uml" -> [Uchar.of_int 168]
  | "uogon" -> [Uchar.of_int 371]
  | "uopf" -> [Uchar.of_int 120166]
  | "uparrow" -> [Uchar.of_int 8593]
  | "updownarrow" -> [Uchar.of_int 8597]
  | "upharpoonleft" -> [Uchar.of_int 8639]
  | "upharpoonright" -> [Uchar.of_int 8638]
  | "uplus" -> [Uchar.of_int 8846]
  | "upsi" -> [Uchar.of_int 965]
  | "upsih" -> [Uchar.of_int 978]
  | "upsilon" -> [Uchar.of_int 965]
  | "upuparrows" -> [Uchar.of_int 8648]
  | "urcorn" -> [Uchar.of_int 8989]
  | "urcorner" -> [Uchar.of_int 8989]
  | "urcrop" -> [Uchar.of_int 8974]
  | "uring" -> [Uchar.of_int 367]
  | "urtri" -> [Uchar.of_int 9721]
  | "uscr" -> [Uchar.of_int 120010]
  | "utdot" -> [Uchar.of_int 8944]
  | "utilde" -> [Uchar.of_int 361]
  | "utri" -> [Uchar.of_int 9653]
  | "utrif" -> [Uchar.of_int 9652]
  | "uuarr" -> [Uchar.of_int 8648]
  | "uuml" -> [Uchar.of_int 252]
  | "uwangle" -> [Uchar.of_int 10663]
  | "vArr" -> [Uchar.of_int 8661]
  | "vBar" -> [Uchar.of_int 10984]
  | "vBarv" -> [Uchar.of_int 10985]
  | "vDash" -> [Uchar.of_int 8872]
  | "vangrt" -> [Uchar.of_int 10652]
  | "varepsilon" -> [Uchar.of_int 1013]
  | "varkappa" -> [Uchar.of_int 1008]
  | "varnothing" -> [Uchar.of_int 8709]
  | "varphi" -> [Uchar.of_int 981]
  | "varpi" -> [Uchar.of_int 982]
  | "varpropto" -> [Uchar.of_int 8733]
  | "varr" -> [Uchar.of_int 8597]
  | "varrho" -> [Uchar.of_int 1009]
  | "varsigma" -> [Uchar.of_int 962]
  | "varsubsetneq" -> [Uchar.of_int 8842; Uchar.of_int 65024]
  | "varsubsetneqq" -> [Uchar.of_int 10955; Uchar.of_int 65024]
  | "varsupsetneq" -> [Uchar.of_int 8843; Uchar.of_int 65024]
  | "varsupsetneqq" -> [Uchar.of_int 10956; Uchar.of_int 65024]
  | "vartheta" -> [Uchar.of_int 977]
  | "vartriangleleft" -> [Uchar.of_int 8882]
  | "vartriangleright" -> [Uchar.of_int 8883]
  | "vcy" -> [Uchar.of_int 1074]
  | "vdash" -> [Uchar.of_int 8866]
  | "vee" -> [Uchar.of_int 8744]
  | "veebar" -> [Uchar.of_int 8891]
  | "veeeq" -> [Uchar.of_int 8794]
  | "vellip" -> [Uchar.of_int 8942]
  | "verbar" -> [Uchar.of_int 124]
  | "vert" -> [Uchar.of_int 124]
  | "vfr" -> [Uchar.of_int 120115]
  | "vltri" -> [Uchar.of_int 8882]
  | "vnsub" -> [Uchar.of_int 8834; Uchar.of_int 8402]
  | "vnsup" -> [Uchar.of_int 8835; Uchar.of_int 8402]
  | "vopf" -> [Uchar.of_int 120167]
  | "vprop" -> [Uchar.of_int 8733]
  | "vrtri" -> [Uchar.of_int 8883]
  | "vscr" -> [Uchar.of_int 120011]
  | "vsubnE" -> [Uchar.of_int 10955; Uchar.of_int 65024]
  | "vsubne" -> [Uchar.of_int 8842; Uchar.of_int 65024]
  | "vsupnE" -> [Uchar.of_int 10956; Uchar.of_int 65024]
  | "vsupne" -> [Uchar.of_int 8843; Uchar.of_int 65024]
  | "vzigzag" -> [Uchar.of_int 10650]
  | "wcirc" -> [Uchar.of_int 373]
  | "wedbar" -> [Uchar.of_int 10847]
  | "wedge" -> [Uchar.of_int 8743]
  | "wedgeq" -> [Uchar.of_int 8793]
  | "weierp" -> [Uchar.of_int 8472]
  | "wfr" -> [Uchar.of_int 120116]
  | "wopf" -> [Uchar.of_int 120168]
  | "wp" -> [Uchar.of_int 8472]
  | "wr" -> [Uchar.of_int 8768]
  | "wreath" -> [Uchar.of_int 8768]
  | "wscr" -> [Uchar.of_int 120012]
  | "xcap" -> [Uchar.of_int 8898]
  | "xcirc" -> [Uchar.of_int 9711]
  | "xcup" -> [Uchar.of_int 8899]
  | "xdtri" -> [Uchar.of_int 9661]
  | "xfr" -> [Uchar.of_int 120117]
  | "xhArr" -> [Uchar.of_int 10234]
  | "xharr" -> [Uchar.of_int 10231]
  | "xi" -> [Uchar.of_int 958]
  | "xlArr" -> [Uchar.of_int 10232]
  | "xlarr" -> [Uchar.of_int 10229]
  | "xmap" -> [Uchar.of_int 10236]
  | "xnis" -> [Uchar.of_int 8955]
  | "xodot" -> [Uchar.of_int 10752]
  | "xopf" -> [Uchar.of_int 120169]
  | "xoplus" -> [Uchar.of_int 10753]
  | "xotime" -> [Uchar.of_int 10754]
  | "xrArr" -> [Uchar.of_int 10233]
  | "xrarr" -> [Uchar.of_int 10230]
  | "xscr" -> [Uchar.of_int 120013]
  | "xsqcup" -> [Uchar.of_int 10758]
  | "xuplus" -> [Uchar.of_int 10756]
  | "xutri" -> [Uchar.of_int 9651]
  | "xvee" -> [Uchar.of_int 8897]
  | "xwedge" -> [Uchar.of_int 8896]
  | "yacute" -> [Uchar.of_int 253]
  | "yacy" -> [Uchar.of_int 1103]
  | "ycirc" -> [Uchar.of_int 375]
  | "ycy" -> [Uchar.of_int 1099]
  | "yen" -> [Uchar.of_int 165]
  | "yfr" -> [Uchar.of_int 120118]
  | "yicy" -> [Uchar.of_int 1111]
  | "yopf" -> [Uchar.of_int 120170]
  | "yscr" -> [Uchar.of_int 120014]
  | "yucy" -> [Uchar.of_int 1102]
  | "yuml" -> [Uchar.of_int 255]
  | "zacute" -> [Uchar.of_int 378]
  | "zcaron" -> [Uchar.of_int 382]
  | "zcy" -> [Uchar.of_int 1079]
  | "zdot" -> [Uchar.of_int 380]
  | "zeetrf" -> [Uchar.of_int 8488]
  | "zeta" -> [Uchar.of_int 950]
  | "zfr" -> [Uchar.of_int 120119]
  | "zhcy" -> [Uchar.of_int 1078]
  | "zigrarr" -> [Uchar.of_int 8669]
  | "zopf" -> [Uchar.of_int 120171]
  | "zscr" -> [Uchar.of_int 120015]
  | "zwj" -> [Uchar.of_int 8205]
  | "zwnj" -> [Uchar.of_int 8204]
  | _ -> []