| /* TODO: include GPL headers */ |
| #include <hashtab.h> |
| static struct element entities_htable_elements[] = { |
| {(const unsigned char*)"varpropto", 8733}, |
| {(const unsigned char*)"ncong", 8775}, |
| {(const unsigned char*)"grave", 96}, |
| {NULL, 0}, |
| {(const unsigned char*)"toea", 10536}, |
| {(const unsigned char*)"map", 8614}, |
| {(const unsigned char*)"nap", 8777}, |
| {(const unsigned char*)"lap", 10885}, |
| {NULL, 0}, |
| {(const unsigned char*)"gap", 10886}, |
| {NULL, 0}, |
| {(const unsigned char*)"twoheadrightarrow", 8608}, |
| {NULL, 0}, |
| {(const unsigned char*)"Ll", 8920}, |
| {(const unsigned char*)"amalg", 10815}, |
| {(const unsigned char*)"geqslant", 10878}, |
| {NULL, 0}, |
| {(const unsigned char*)"origof", 8886}, |
| {(const unsigned char*)"Tab", 9}, |
| {NULL, 0}, |
| {(const unsigned char*)"leqslant", 10877}, |
| {(const unsigned char*)"asympeq", 8781}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"sext", 10038}, |
| {(const unsigned char*)"Wedge", 8896}, |
| {(const unsigned char*)"sqcap", 8851}, |
| {(const unsigned char*)"loang", 12312}, |
| {(const unsigned char*)"ngeq", 8817}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotLessTilde", 8820}, |
| {(const unsigned char*)"nwArr", 8662}, |
| {NULL, 0}, |
| {(const unsigned char*)"roang", 12313}, |
| {(const unsigned char*)"Delta", 916}, |
| {NULL, 0}, |
| {(const unsigned char*)"swArr", 8665}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"DifferentialD", 8518}, |
| {(const unsigned char*)"gl", 8823}, |
| {(const unsigned char*)"loz", 9674}, |
| {(const unsigned char*)"Prime", 8243}, |
| {(const unsigned char*)"ShortRightArrow", 8594}, |
| {(const unsigned char*)"sigmaf", 962}, |
| {(const unsigned char*)"ll", 8810}, |
| {(const unsigned char*)"rx", 8478}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"circledS", 9416}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"notni", 8716}, |
| {NULL, 0}, |
| {(const unsigned char*)"wedge", 8743}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"rightrightarrows", 8649}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"delta", 948}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ffllig", 64260}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Bernoullis", 8492}, |
| {(const unsigned char*)"djcy", 1106}, |
| {NULL, 0}, |
| {(const unsigned char*)"gjcy", 1107}, |
| {(const unsigned char*)"prime", 8242}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"kjcy", 1116}, |
| {(const unsigned char*)"ljcy", 1113}, |
| {(const unsigned char*)"lmoustache", 9136}, |
| {(const unsigned char*)"njcy", 1114}, |
| {(const unsigned char*)"boxDl", 9558}, |
| {(const unsigned char*)"clubs", 9827}, |
| {(const unsigned char*)"Integral", 8747}, |
| {NULL, 0}, |
| {(const unsigned char*)"rmoustache", 9137}, |
| {(const unsigned char*)"sol", 47}, |
| {(const unsigned char*)"SquareSubset", 8847}, |
| {NULL, 0}, |
| {(const unsigned char*)"rect", 9645}, |
| {(const unsigned char*)"sect", 167}, |
| {(const unsigned char*)"VeryThinSpace", 8202}, |
| {(const unsigned char*)"lesssim", 8818}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"UnderBrace", 65080}, |
| {NULL, 0}, |
| {(const unsigned char*)"comp", 8705}, |
| {(const unsigned char*)"mapstoup", 8613}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"circ", 710}, |
| {(const unsigned char*)"complement", 8705}, |
| {(const unsigned char*)"flat", 9837}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"LowerLeftArrow", 8601}, |
| {NULL, 0}, |
| {(const unsigned char*)"cuesc", 8927}, |
| {(const unsigned char*)"sce", 10928}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"euro", 8364}, |
| {(const unsigned char*)"succcurlyeq", 8829}, |
| {(const unsigned char*)"LeftCeiling", 8968}, |
| {(const unsigned char*)"vprop", 8733}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nexists", 8708}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"pitchfork", 8916}, |
| {(const unsigned char*)"darr2", 8650}, |
| {NULL, 0}, |
| {(const unsigned char*)"Ubrcy", 1038}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"sqsupe", 8850}, |
| {(const unsigned char*)"eparsl", 10723}, |
| {NULL, 0}, |
| {(const unsigned char*)"larr2", 8647}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"LeftUpVectorBar", 10584}, |
| {(const unsigned char*)"sqsupseteq", 8850}, |
| {NULL, 0}, |
| {(const unsigned char*)"rarr2", 8649}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"uarr2", 8648}, |
| {(const unsigned char*)"veeeq", 8794}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"AElig", 198}, |
| {(const unsigned char*)"notnivb", 8958}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"plusb", 8862}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"DoubleRightTee", 8872}, |
| {(const unsigned char*)"NotSquareSupersetEqual", 8931}, |
| {(const unsigned char*)"hookrightarrow", 8618}, |
| {(const unsigned char*)"ubrcy", 1118}, |
| {NULL, 0}, |
| {(const unsigned char*)"OElig", 338}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotGreaterTilde", 8821}, |
| {(const unsigned char*)"filig", 64257}, |
| {(const unsigned char*)"nlt", 8814}, |
| {(const unsigned char*)"Agr", 913}, |
| {(const unsigned char*)"GreaterEqual", 8805}, |
| {(const unsigned char*)"mldr", 8230}, |
| {(const unsigned char*)"nldr", 8229}, |
| {(const unsigned char*)"drcrop", 8972}, |
| {(const unsigned char*)"Dgr", 916}, |
| {(const unsigned char*)"Bgr", 914}, |
| {(const unsigned char*)"Igr", 921}, |
| {(const unsigned char*)"angmsd", 8737}, |
| {(const unsigned char*)"trie", 8796}, |
| {(const unsigned char*)"Kgr", 922}, |
| {(const unsigned char*)"Ggr", 915}, |
| {(const unsigned char*)"Mgr", 924}, |
| {(const unsigned char*)"Egr", 917}, |
| {(const unsigned char*)"Ogr", 927}, |
| {(const unsigned char*)"Ngr", 925}, |
| {(const unsigned char*)"Lgr", 923}, |
| {(const unsigned char*)"Pgr", 928}, |
| {(const unsigned char*)"Sgr", 931}, |
| {(const unsigned char*)"cong", 8773}, |
| {(const unsigned char*)"doteqdot", 8785}, |
| {(const unsigned char*)"urcrop", 8974}, |
| {(const unsigned char*)"Rgr", 929}, |
| {(const unsigned char*)"Xgr", 926}, |
| {(const unsigned char*)"Tgr", 932}, |
| {(const unsigned char*)"Ugr", 933}, |
| {NULL, 0}, |
| {(const unsigned char*)"nless", 8814}, |
| {(const unsigned char*)"LeftTee", 8867}, |
| {(const unsigned char*)"OverBar", 175}, |
| {(const unsigned char*)"Zgr", 918}, |
| {(const unsigned char*)"agr", 945}, |
| {(const unsigned char*)"bgr", 946}, |
| {(const unsigned char*)"phis", 981}, |
| {(const unsigned char*)"dgr", 948}, |
| {(const unsigned char*)"intlarhk", 10775}, |
| {(const unsigned char*)"boxplus", 8862}, |
| {(const unsigned char*)"ggr", 947}, |
| {(const unsigned char*)"egr", 949}, |
| {(const unsigned char*)"nrtrie", 8941}, |
| {(const unsigned char*)"rdldhar", 10601}, |
| {(const unsigned char*)"lrcorner", 8991}, |
| {(const unsigned char*)"igr", 953}, |
| {(const unsigned char*)"lgr", 955}, |
| {(const unsigned char*)"lhblk", 9604}, |
| {(const unsigned char*)"ngr", 957}, |
| {(const unsigned char*)"mgr", 956}, |
| {(const unsigned char*)"kgr", 954}, |
| {(const unsigned char*)"ogr", 959}, |
| {(const unsigned char*)"urcorner", 8989}, |
| {(const unsigned char*)"sgr", 963}, |
| {(const unsigned char*)"boxUL", 9565}, |
| {(const unsigned char*)"npolint", 10772}, |
| {(const unsigned char*)"uhblk", 9600}, |
| {(const unsigned char*)"rgr", 961}, |
| {(const unsigned char*)"curarrm", 10556}, |
| {(const unsigned char*)"pgr", 960}, |
| {(const unsigned char*)"ruluhar", 10600}, |
| {(const unsigned char*)"lbbrk", 12308}, |
| {(const unsigned char*)"zgr", 950}, |
| {(const unsigned char*)"tgr", 964}, |
| {(const unsigned char*)"ugr", 965}, |
| {NULL, 0}, |
| {(const unsigned char*)"rbbrk", 12309}, |
| {(const unsigned char*)"profline", 8978}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"rlm", 8207}, |
| {(const unsigned char*)"OverBrace", 65079}, |
| {(const unsigned char*)"xgr", 958}, |
| {(const unsigned char*)"lsaquo", 8249}, |
| {NULL, 0}, |
| {(const unsigned char*)"nwarrow", 8598}, |
| {(const unsigned char*)"Equilibrium", 8652}, |
| {NULL, 0}, |
| {(const unsigned char*)"rsaquo", 8250}, |
| {NULL, 0}, |
| {(const unsigned char*)"swarrow", 8601}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"prec", 8826}, |
| {(const unsigned char*)"ltrie", 8884}, |
| {(const unsigned char*)"dharl", 8643}, |
| {(const unsigned char*)"shortmid", 8739}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nleftrightarrow", 8622}, |
| {(const unsigned char*)"rtrie", 8885}, |
| {(const unsigned char*)"Im", 8465}, |
| {(const unsigned char*)"frown", 8994}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"pertenk", 8241}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"lessgtr", 8822}, |
| {(const unsigned char*)"bigvee", 8897}, |
| {(const unsigned char*)"supseteq", 8839}, |
| {(const unsigned char*)"uharl", 8639}, |
| {NULL, 0}, |
| {(const unsigned char*)"Longrightarrow", 10233}, |
| {(const unsigned char*)"lrarr2", 8646}, |
| {NULL, 0}, |
| {(const unsigned char*)"wreath", 8768}, |
| {NULL, 0}, |
| {(const unsigned char*)"Updownarrow", 8661}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"lessdot", 8918}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nlArr", 8653}, |
| {(const unsigned char*)"SOFTcy", 1068}, |
| {NULL, 0}, |
| {(const unsigned char*)"Barwed", 8966}, |
| {(const unsigned char*)"upharpoonleft", 8639}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"FilledVerySmallSquare", 9642}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"coprod", 8720}, |
| {(const unsigned char*)"pm", 177}, |
| {NULL, 0}, |
| {(const unsigned char*)"nLeftarrow", 8653}, |
| {NULL, 0}, |
| {(const unsigned char*)"DScy", 1029}, |
| {(const unsigned char*)"xlArr", 10232}, |
| {(const unsigned char*)"longrightarrow", 10230}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"subseteq", 8838}, |
| {NULL, 0}, |
| {(const unsigned char*)"updownarrow", 8597}, |
| {(const unsigned char*)"bsime", 8909}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"supsetneq", 8843}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"frac56", 8538}, |
| {NULL, 0}, |
| {(const unsigned char*)"TScy", 1062}, |
| {NULL, 0}, |
| {(const unsigned char*)"zeetrf", 8488}, |
| {(const unsigned char*)"ogon", 731}, |
| {(const unsigned char*)"barwed", 8965}, |
| {(const unsigned char*)"nsime", 8772}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"lEg", 10891}, |
| {(const unsigned char*)"lrhar", 8651}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxminus", 8863}, |
| {(const unsigned char*)"ape", 8778}, |
| {NULL, 0}, |
| {(const unsigned char*)"divonx", 8903}, |
| {(const unsigned char*)"hksearow", 10533}, |
| {(const unsigned char*)"boxhD", 9573}, |
| {(const unsigned char*)"NotLessEqual", 8816}, |
| {(const unsigned char*)"ang90", 8735}, |
| {(const unsigned char*)"sstarf", 8902}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"subsetneq", 8842}, |
| {(const unsigned char*)"Darr", 8609}, |
| {NULL, 0}, |
| {(const unsigned char*)"curarr", 8631}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"real", 8476}, |
| {(const unsigned char*)"Larr", 8606}, |
| {(const unsigned char*)"CircleDot", 8857}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"CircleTimes", 8855}, |
| {(const unsigned char*)"Rarr", 8608}, |
| {(const unsigned char*)"varpi", 982}, |
| {(const unsigned char*)"SuchThat", 8715}, |
| {(const unsigned char*)"Uarr", 8607}, |
| {(const unsigned char*)"smeparsl", 10724}, |
| {NULL, 0}, |
| {(const unsigned char*)"orslope", 10839}, |
| {(const unsigned char*)"cuwed", 8911}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Breve", 728}, |
| {(const unsigned char*)"nwarr", 8598}, |
| {NULL, 0}, |
| {(const unsigned char*)"orv", 10843}, |
| {(const unsigned char*)"zwj", 8205}, |
| {(const unsigned char*)"swarr", 8601}, |
| {NULL, 0}, |
| {(const unsigned char*)"darr", 8595}, |
| {(const unsigned char*)"gtrdot", 8919}, |
| {(const unsigned char*)"precneqq", 10933}, |
| {(const unsigned char*)"LessGreater", 8822}, |
| {(const unsigned char*)"harr", 8596}, |
| {(const unsigned char*)"UpperLeftArrow", 8598}, |
| {(const unsigned char*)"Verbar", 8214}, |
| {(const unsigned char*)"harrw", 8621}, |
| {(const unsigned char*)"TildeTilde", 8776}, |
| {(const unsigned char*)"larr", 8592}, |
| {NULL, 0}, |
| {(const unsigned char*)"succsim", 8831}, |
| {(const unsigned char*)"rarrw", 8605}, |
| {NULL, 0}, |
| {(const unsigned char*)"rarr", 8594}, |
| {(const unsigned char*)"prnE", 10933}, |
| {(const unsigned char*)"Hat", 94}, |
| {(const unsigned char*)"uarr", 8593}, |
| {(const unsigned char*)"varr", 8597}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxvR", 9566}, |
| {NULL, 0}, |
| {(const unsigned char*)"micro", 181}, |
| {(const unsigned char*)"breve", 728}, |
| {NULL, 0}, |
| {(const unsigned char*)"nequiv", 8802}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"verbar", 124}, |
| {(const unsigned char*)"lopar", 10629}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"frac35", 8535}, |
| {(const unsigned char*)"RightArrow", 8594}, |
| {(const unsigned char*)"copy", 169}, |
| {(const unsigned char*)"ropar", 10630}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nsubseteq", 8840}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nvlArr", 10498}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"setminus", 8726}, |
| {(const unsigned char*)"boxvH", 9578}, |
| {(const unsigned char*)"doteq", 8784}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"vartriangleleft", 8882}, |
| {NULL, 0}, |
| {(const unsigned char*)"RightTriangleBar", 10704}, |
| {(const unsigned char*)"shy", 173}, |
| {(const unsigned char*)"RightUpVectorBar", 10580}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Kappa", 922}, |
| {NULL, 0}, |
| {(const unsigned char*)"leftrightarrows", 8646}, |
| {(const unsigned char*)"sqsupset", 8848}, |
| {(const unsigned char*)"rationals", 8474}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"cent", 162}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"lobrk", 12314}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"OverBracket", 9140}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"robrk", 12315}, |
| {(const unsigned char*)"Fouriertrf", 8497}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"blacktriangleleft", 9666}, |
| {(const unsigned char*)"bumpe", 8783}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"kappa", 954}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"weierp", 8472}, |
| {NULL, 0}, |
| {(const unsigned char*)"intcal", 8890}, |
| {(const unsigned char*)"rarrc", 10547}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"iiint", 8749}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxdr", 9484}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"percnt", 37}, |
| {(const unsigned char*)"top", 8868}, |
| {NULL, 0}, |
| {(const unsigned char*)"ffilig", 64259}, |
| {(const unsigned char*)"notnivc", 8957}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"diams", 9830}, |
| {NULL, 0}, |
| {(const unsigned char*)"maltese", 10016}, |
| {(const unsigned char*)"vartriangleright", 8883}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"OverParenthesis", 65077}, |
| {(const unsigned char*)"nesear", 10536}, |
| {(const unsigned char*)"LessFullEqual", 8806}, |
| {NULL, 0}, |
| {(const unsigned char*)"UpDownArrow", 8597}, |
| {(const unsigned char*)"measuredangle", 8737}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Leftarrow", 8656}, |
| {(const unsigned char*)"HumpDownHump", 8782}, |
| {(const unsigned char*)"frac14", 188}, |
| {NULL, 0}, |
| {(const unsigned char*)"LeftUpVector", 8639}, |
| {(const unsigned char*)"bigotimes", 10754}, |
| {(const unsigned char*)"questeq", 8799}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"GreaterFullEqual", 8807}, |
| {NULL, 0}, |
| {(const unsigned char*)"in", 8712}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Del", 8711}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"CHcy", 1063}, |
| {(const unsigned char*)"supne", 8843}, |
| {NULL, 0}, |
| {(const unsigned char*)"leftarrow", 8592}, |
| {(const unsigned char*)"ges", 10878}, |
| {(const unsigned char*)"bnot", 8976}, |
| {(const unsigned char*)"mumap", 8888}, |
| {(const unsigned char*)"LeftTriangleEqual", 8884}, |
| {(const unsigned char*)"KHcy", 1061}, |
| {(const unsigned char*)"les", 10877}, |
| {(const unsigned char*)"xutri", 9651}, |
| {NULL, 0}, |
| {(const unsigned char*)"caron", 711}, |
| {NULL, 0}, |
| {(const unsigned char*)"EqualTilde", 8770}, |
| {(const unsigned char*)"UnderBar", 818}, |
| {(const unsigned char*)"SHcy", 1064}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ZHcy", 1046}, |
| {(const unsigned char*)"gel", 8923}, |
| {(const unsigned char*)"Vee", 8897}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"subne", 8842}, |
| {NULL, 0}, |
| {(const unsigned char*)"ngtr", 8815}, |
| {(const unsigned char*)"isins", 8948}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"angle", 8736}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ThinSpace", 8201}, |
| {(const unsigned char*)"samalg", 8720}, |
| {NULL, 0}, |
| {(const unsigned char*)"supseteqq", 10950}, |
| {(const unsigned char*)"SucceedsEqual", 10928}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"vee", 8744}, |
| {NULL, 0}, |
| {(const unsigned char*)"approxeq", 8778}, |
| {(const unsigned char*)"leftarrowtail", 8610}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"dHar", 10597}, |
| {(const unsigned char*)"andand", 10837}, |
| {(const unsigned char*)"dlarr", 8601}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"circeq", 8791}, |
| {NULL, 0}, |
| {(const unsigned char*)"Lsh", 8624}, |
| {(const unsigned char*)"laquo", 171}, |
| {(const unsigned char*)"coloneq", 8788}, |
| {(const unsigned char*)"llarr", 8647}, |
| {(const unsigned char*)"Int", 8748}, |
| {(const unsigned char*)"nlarr", 8602}, |
| {(const unsigned char*)"Rsh", 8625}, |
| {(const unsigned char*)"varepsilon", 949}, |
| {(const unsigned char*)"olarr", 8634}, |
| {(const unsigned char*)"raquo", 187}, |
| {(const unsigned char*)"slarr", 8592}, |
| {(const unsigned char*)"rlarr", 8644}, |
| {(const unsigned char*)"boxuR", 9560}, |
| {(const unsigned char*)"minus", 8722}, |
| {(const unsigned char*)"xlarr", 10229}, |
| {(const unsigned char*)"lHar", 10594}, |
| {(const unsigned char*)"rHar", 10596}, |
| {(const unsigned char*)"subseteqq", 10949}, |
| {NULL, 0}, |
| {(const unsigned char*)"uHar", 10595}, |
| {(const unsigned char*)"epsis", 1013}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ssetmn", 8726}, |
| {(const unsigned char*)"equals", 61}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotExists", 8708}, |
| {(const unsigned char*)"prnsim", 8936}, |
| {(const unsigned char*)"lsh", 8624}, |
| {(const unsigned char*)"curlyeqsucc", 8927}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"int", 8747}, |
| {NULL, 0}, |
| {(const unsigned char*)"rsh", 8625}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"LessSlantEqual", 10877}, |
| {(const unsigned char*)"DiacriticalDot", 729}, |
| {NULL, 0}, |
| {(const unsigned char*)"nvDash", 8877}, |
| {(const unsigned char*)"prnap", 10937}, |
| {(const unsigned char*)"ZeroWidthSpace", 8203}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"oplus", 8853}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"middot", 183}, |
| {NULL, 0}, |
| {(const unsigned char*)"emptyset", 8709}, |
| {(const unsigned char*)"uplus", 8846}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxhu", 9524}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"softcy", 1100}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"squarf", 9642}, |
| {(const unsigned char*)"TripleDot", 8411}, |
| {(const unsigned char*)"DownTee", 8868}, |
| {(const unsigned char*)"cir", 9675}, |
| {(const unsigned char*)"expectation", 8496}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"cirfnint", 10768}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"sfrown", 8994}, |
| {(const unsigned char*)"ntriangleright", 8939}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nisd", 8954}, |
| {(const unsigned char*)"dash", 8208}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nvHarr", 10500}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"hybull", 8259}, |
| {(const unsigned char*)"RightArrowBar", 8677}, |
| {(const unsigned char*)"leftrightsquigarrow", 8621}, |
| {(const unsigned char*)"minusb", 8863}, |
| {NULL, 0}, |
| {(const unsigned char*)"frac38", 8540}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"centerdot", 183}, |
| {(const unsigned char*)"nwnear", 10535}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"larrpl", 10553}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"hookleftarrow", 8617}, |
| {(const unsigned char*)"hellip", 8230}, |
| {(const unsigned char*)"rarrpl", 10565}, |
| {(const unsigned char*)"mid", 8739}, |
| {NULL, 0}, |
| {(const unsigned char*)"oast", 8859}, |
| {(const unsigned char*)"NotTildeTilde", 8777}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotTilde", 8769}, |
| {(const unsigned char*)"ohacgr", 974}, |
| {(const unsigned char*)"marker", 9646}, |
| {(const unsigned char*)"langle", 9001}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"vellip", 8942}, |
| {(const unsigned char*)"NotRightTriangleEqual", 8941}, |
| {(const unsigned char*)"rangle", 9002}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"gnsim", 8935}, |
| {(const unsigned char*)"malt", 10016}, |
| {(const unsigned char*)"times", 215}, |
| {(const unsigned char*)"RightDownTeeVector", 10589}, |
| {NULL, 0}, |
| {(const unsigned char*)"lnsim", 8934}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"preceq", 10927}, |
| {(const unsigned char*)"equiv", 8801}, |
| {(const unsigned char*)"geqq", 8807}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Iota", 921}, |
| {(const unsigned char*)"leqq", 8806}, |
| {NULL, 0}, |
| {(const unsigned char*)"cuepr", 8926}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxtimes", 8864}, |
| {(const unsigned char*)"numero", 8470}, |
| {(const unsigned char*)"setmn", 8726}, |
| {NULL, 0}, |
| {(const unsigned char*)"ForAll", 8704}, |
| {NULL, 0}, |
| {(const unsigned char*)"excl", 33}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"bsol", 92}, |
| {(const unsigned char*)"imof", 8887}, |
| {(const unsigned char*)"dsol", 10742}, |
| {(const unsigned char*)"ic", 8291}, |
| {(const unsigned char*)"ReverseElement", 8715}, |
| {(const unsigned char*)"Exists", 8707}, |
| {NULL, 0}, |
| {(const unsigned char*)"parsl", 11005}, |
| {(const unsigned char*)"bprime", 8245}, |
| {(const unsigned char*)"Ccedil", 199}, |
| {(const unsigned char*)"sc", 8827}, |
| {(const unsigned char*)"propto", 8733}, |
| {NULL, 0}, |
| {(const unsigned char*)"osol", 8856}, |
| {(const unsigned char*)"RightVectorBar", 10579}, |
| {(const unsigned char*)"iota", 953}, |
| {(const unsigned char*)"boxDR", 9556}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Theta", 920}, |
| {(const unsigned char*)"lharu", 8636}, |
| {(const unsigned char*)"Because", 8757}, |
| {(const unsigned char*)"qprime", 8279}, |
| {(const unsigned char*)"simrarr", 10610}, |
| {NULL, 0}, |
| {(const unsigned char*)"tprime", 8244}, |
| {(const unsigned char*)"rharu", 8640}, |
| {(const unsigned char*)"vprime", 8242}, |
| {(const unsigned char*)"YUcy", 1070}, |
| {(const unsigned char*)"plusmn", 177}, |
| {NULL, 0}, |
| {(const unsigned char*)"planckh", 8462}, |
| {(const unsigned char*)"YIcy", 1031}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotRightTriangle", 8939}, |
| {(const unsigned char*)"becaus", 8757}, |
| {NULL, 0}, |
| {(const unsigned char*)"PrecedesEqual", 10927}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nsupe", 8841}, |
| {(const unsigned char*)"ccedil", 231}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"yacy", 1103}, |
| {(const unsigned char*)"succnsim", 8937}, |
| {(const unsigned char*)"theta", 952}, |
| {(const unsigned char*)"because", 8757}, |
| {(const unsigned char*)"pre", 10927}, |
| {NULL, 0}, |
| {(const unsigned char*)"sharp", 9839}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"timesb", 8864}, |
| {(const unsigned char*)"Longleftarrow", 10232}, |
| {(const unsigned char*)"Sqrt", 8730}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Vert", 8214}, |
| {NULL, 0}, |
| {(const unsigned char*)"Rho", 929}, |
| {NULL, 0}, |
| {(const unsigned char*)"LeftDownTeeVector", 10593}, |
| {(const unsigned char*)"erDot", 8787}, |
| {NULL, 0}, |
| {(const unsigned char*)"integers", 8484}, |
| {(const unsigned char*)"Dot", 168}, |
| {(const unsigned char*)"eqvparsl", 10725}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"efDot", 8786}, |
| {NULL, 0}, |
| {(const unsigned char*)"NewLine", 10}, |
| {(const unsigned char*)"sbquo", 8218}, |
| {NULL, 0}, |
| {(const unsigned char*)"Diamond", 8900}, |
| {(const unsigned char*)"Not", 10988}, |
| {NULL, 0}, |
| {(const unsigned char*)"Eta", 919}, |
| {(const unsigned char*)"longleftarrow", 10229}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"starf", 9733}, |
| {(const unsigned char*)"RoundImplies", 10608}, |
| {(const unsigned char*)"RightAngleBracket", 9002}, |
| {NULL, 0}, |
| {(const unsigned char*)"diamondsuit", 9830}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"vert", 124}, |
| {(const unsigned char*)"eth", 240}, |
| {(const unsigned char*)"NotReverseElement", 8716}, |
| {(const unsigned char*)"Longleftrightarrow", 10234}, |
| {(const unsigned char*)"ssmile", 8995}, |
| {(const unsigned char*)"bot", 8869}, |
| {(const unsigned char*)"supe", 8839}, |
| {(const unsigned char*)"dot", 729}, |
| {(const unsigned char*)"pointint", 10773}, |
| {(const unsigned char*)"intercal", 8890}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"rho", 961}, |
| {NULL, 0}, |
| {(const unsigned char*)"primes", 8473}, |
| {(const unsigned char*)"fllig", 64258}, |
| {NULL, 0}, |
| {(const unsigned char*)"diamond", 8900}, |
| {(const unsigned char*)"not", 172}, |
| {(const unsigned char*)"precapprox", 10935}, |
| {(const unsigned char*)"eta", 951}, |
| {NULL, 0}, |
| {(const unsigned char*)"backprime", 8245}, |
| {(const unsigned char*)"GreaterEqualLess", 8923}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"RightTeeArrow", 8614}, |
| {(const unsigned char*)"boxHd", 9572}, |
| {(const unsigned char*)"Gammad", 988}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Assign", 8788}, |
| {(const unsigned char*)"squf", 9642}, |
| {(const unsigned char*)"angzarr", 9084}, |
| {(const unsigned char*)"longleftrightarrow", 10231}, |
| {NULL, 0}, |
| {(const unsigned char*)"pound", 163}, |
| {(const unsigned char*)"topbot", 9014}, |
| {(const unsigned char*)"twoheadleftarrow", 8606}, |
| {(const unsigned char*)"Congruent", 8801}, |
| {(const unsigned char*)"nshortparallel", 8742}, |
| {(const unsigned char*)"LeftArrowRightArrow", 8646}, |
| {NULL, 0}, |
| {(const unsigned char*)"sube", 8838}, |
| {NULL, 0}, |
| {(const unsigned char*)"hamilt", 8459}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"harrcir", 10568}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxV", 9553}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"gammad", 989}, |
| {(const unsigned char*)"OpenCurlyDoubleQuote", 8220}, |
| {NULL, 0}, |
| {(const unsigned char*)"target", 8982}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"bigsqcup", 10758}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxVr", 9567}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"eegr", 951}, |
| {(const unsigned char*)"awint", 10769}, |
| {(const unsigned char*)"EEacgr", 905}, |
| {(const unsigned char*)"cwint", 8753}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"RightVector", 8640}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Vvdash", 8874}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Aacute", 193}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Eacute", 201}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Iacute", 205}, |
| {(const unsigned char*)"boxHU", 9577}, |
| {(const unsigned char*)"daleth", 8504}, |
| {(const unsigned char*)"olcross", 10683}, |
| {(const unsigned char*)"eqcirc", 8790}, |
| {NULL, 0}, |
| {(const unsigned char*)"Oacute", 211}, |
| {(const unsigned char*)"bigodot", 10752}, |
| {(const unsigned char*)"notinva", 8713}, |
| {(const unsigned char*)"LeftRightArrow", 8596}, |
| {(const unsigned char*)"lozenge", 9674}, |
| {NULL, 0}, |
| {(const unsigned char*)"Uacute", 218}, |
| {(const unsigned char*)"nvdash", 8876}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Yacute", 221}, |
| {(const unsigned char*)"boxvL", 9569}, |
| {(const unsigned char*)"Bscr", 8492}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Escr", 8496}, |
| {(const unsigned char*)"Fscr", 8497}, |
| {(const unsigned char*)"Hacek", 711}, |
| {(const unsigned char*)"Hscr", 8459}, |
| {(const unsigned char*)"Iscr", 8464}, |
| {(const unsigned char*)"boxVh", 9579}, |
| {(const unsigned char*)"aacute", 225}, |
| {(const unsigned char*)"Lscr", 8466}, |
| {(const unsigned char*)"Mscr", 8499}, |
| {(const unsigned char*)"Downarrow", 8659}, |
| {(const unsigned char*)"eacute", 233}, |
| {(const unsigned char*)"iacute", 237}, |
| {(const unsigned char*)"VerticalLine", 124}, |
| {(const unsigned char*)"Rscr", 8475}, |
| {(const unsigned char*)"ap", 8776}, |
| {(const unsigned char*)"NegativeVeryThinSpace", 8203}, |
| {(const unsigned char*)"LessTilde", 8818}, |
| {(const unsigned char*)"oacute", 243}, |
| {(const unsigned char*)"blk12", 9618}, |
| {(const unsigned char*)"frac25", 8534}, |
| {(const unsigned char*)"mp", 8723}, |
| {(const unsigned char*)"fnof", 402}, |
| {(const unsigned char*)"Conint", 8751}, |
| {(const unsigned char*)"uacute", 250}, |
| {(const unsigned char*)"dd", 8518}, |
| {(const unsigned char*)"scsim", 8831}, |
| {(const unsigned char*)"NotSucceeds", 8833}, |
| {(const unsigned char*)"yacute", 253}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"wp", 8472}, |
| {(const unsigned char*)"infin", 8734}, |
| {(const unsigned char*)"escr", 8495}, |
| {NULL, 0}, |
| {(const unsigned char*)"DJcy", 1026}, |
| {(const unsigned char*)"gscr", 8458}, |
| {(const unsigned char*)"LowerRightArrow", 8600}, |
| {(const unsigned char*)"GJcy", 1027}, |
| {(const unsigned char*)"dzcy", 1119}, |
| {(const unsigned char*)"brvbar", 166}, |
| {(const unsigned char*)"sqcup", 8852}, |
| {(const unsigned char*)"KJcy", 1036}, |
| {(const unsigned char*)"LJcy", 1033}, |
| {(const unsigned char*)"oscr", 8500}, |
| {(const unsigned char*)"NJcy", 1034}, |
| {(const unsigned char*)"ddagger", 8225}, |
| {(const unsigned char*)"Agrave", 192}, |
| {(const unsigned char*)"downarrow", 8595}, |
| {NULL, 0}, |
| {(const unsigned char*)"duhar", 10607}, |
| {(const unsigned char*)"Egrave", 200}, |
| {(const unsigned char*)"Oslash", 216}, |
| {NULL, 0}, |
| {(const unsigned char*)"preccurlyeq", 8828}, |
| {(const unsigned char*)"Igrave", 204}, |
| {(const unsigned char*)"conint", 8750}, |
| {(const unsigned char*)"drbkarow", 10512}, |
| {(const unsigned char*)"DownRightTeeVector", 10591}, |
| {(const unsigned char*)"odot", 8857}, |
| {NULL, 0}, |
| {(const unsigned char*)"Ograve", 210}, |
| {(const unsigned char*)"ldot", 8918}, |
| {(const unsigned char*)"LeftAngleBracket", 9001}, |
| {(const unsigned char*)"tdot", 8411}, |
| {(const unsigned char*)"idiagr", 912}, |
| {(const unsigned char*)"sdot", 8901}, |
| {(const unsigned char*)"Ugrave", 217}, |
| {(const unsigned char*)"triangleleft", 9667}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"diam", 8900}, |
| {(const unsigned char*)"commat", 64}, |
| {(const unsigned char*)"udiagr", 944}, |
| {(const unsigned char*)"larrb", 8676}, |
| {(const unsigned char*)"hslash", 8463}, |
| {(const unsigned char*)"rightleftarrows", 8644}, |
| {(const unsigned char*)"succnapprox", 10938}, |
| {(const unsigned char*)"agrave", 224}, |
| {NULL, 0}, |
| {(const unsigned char*)"egs", 10902}, |
| {NULL, 0}, |
| {(const unsigned char*)"egrave", 232}, |
| {(const unsigned char*)"oslash", 248}, |
| {NULL, 0}, |
| {(const unsigned char*)"nge", 8817}, |
| {(const unsigned char*)"igrave", 236}, |
| {(const unsigned char*)"hbar", 8463}, |
| {NULL, 0}, |
| {(const unsigned char*)"NestedLessLess", 8810}, |
| {NULL, 0}, |
| {(const unsigned char*)"nexist", 8708}, |
| {(const unsigned char*)"ograve", 242}, |
| {NULL, 0}, |
| {(const unsigned char*)"ldquor", 8222}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"rdquor", 8221}, |
| {(const unsigned char*)"ugrave", 249}, |
| {(const unsigned char*)"div", 247}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"blacktriangledown", 9662}, |
| {(const unsigned char*)"UpArrow", 8593}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"niv", 8715}, |
| {(const unsigned char*)"llhard", 10603}, |
| {(const unsigned char*)"boxdl", 9488}, |
| {(const unsigned char*)"piv", 982}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotPrecedes", 8832}, |
| {(const unsigned char*)"lbarr", 10508}, |
| {NULL, 0}, |
| {(const unsigned char*)"andd", 10844}, |
| {(const unsigned char*)"bigwedge", 8896}, |
| {(const unsigned char*)"InvisibleTimes", 8290}, |
| {NULL, 0}, |
| {(const unsigned char*)"rbarr", 10509}, |
| {NULL, 0}, |
| {(const unsigned char*)"ApplyFunction", 8289}, |
| {(const unsigned char*)"bottom", 8869}, |
| {(const unsigned char*)"awconint", 8755}, |
| {(const unsigned char*)"cwconint", 8754}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"dwangle", 10662}, |
| {(const unsigned char*)"rarrb", 8677}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"UpArrowBar", 10514}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"realine", 8475}, |
| {(const unsigned char*)"uwangle", 10663}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"lowbar", 95}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Cayleys", 8493}, |
| {NULL, 0}, |
| {(const unsigned char*)"bigstar", 9733}, |
| {(const unsigned char*)"isin", 8712}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"backepsilon", 1014}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"OpenCurlyQuote", 8216}, |
| {NULL, 0}, |
| {(const unsigned char*)"Cross", 10799}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"lesseqgtr", 8922}, |
| {(const unsigned char*)"Upsi", 978}, |
| {(const unsigned char*)"DoubleRightArrow", 8658}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Laplacetrf", 8466}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"bigcirc", 9711}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"epsi", 1013}, |
| {(const unsigned char*)"LeftTeeVector", 10586}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"DoubleUpDownArrow", 8661}, |
| {NULL, 0}, |
| {(const unsigned char*)"DiacriticalGrave", 96}, |
| {(const unsigned char*)"triangle", 9653}, |
| {NULL, 0}, |
| {(const unsigned char*)"permil", 8240}, |
| {NULL, 0}, |
| {(const unsigned char*)"lpargt", 10656}, |
| {(const unsigned char*)"UpEquilibrium", 10606}, |
| {(const unsigned char*)"backsimeq", 8909}, |
| {(const unsigned char*)"Supset", 8913}, |
| {(const unsigned char*)"boxUr", 9561}, |
| {(const unsigned char*)"sccue", 8829}, |
| {(const unsigned char*)"rpargt", 10644}, |
| {(const unsigned char*)"cross", 10007}, |
| {(const unsigned char*)"upsi", 965}, |
| {NULL, 0}, |
| {(const unsigned char*)"cularr", 8630}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"varkappa", 1008}, |
| {(const unsigned char*)"half", 189}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"sfgr", 962}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ImaginaryI", 8520}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Tau", 932}, |
| {(const unsigned char*)"bernou", 8492}, |
| {(const unsigned char*)"DoubleLeftArrow", 8656}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"supset", 8835}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"MediumSpace", 8287}, |
| {NULL, 0}, |
| {(const unsigned char*)"Subset", 8912}, |
| {(const unsigned char*)"NegativeThickSpace", 8203}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"boxuL", 9563}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"notin", 8713}, |
| {NULL, 0}, |
| {(const unsigned char*)"Re", 8476}, |
| {NULL, 0}, |
| {(const unsigned char*)"nleq", 8816}, |
| {(const unsigned char*)"nLeftrightarrow", 8654}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Beta", 914}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"dollar", 36}, |
| {(const unsigned char*)"Product", 8719}, |
| {(const unsigned char*)"tau", 964}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Poincareplane", 8460}, |
| {(const unsigned char*)"ee", 8519}, |
| {(const unsigned char*)"CenterDot", 183}, |
| {(const unsigned char*)"Jsercy", 1032}, |
| {(const unsigned char*)"ge", 8805}, |
| {(const unsigned char*)"Rarrtl", 10518}, |
| {(const unsigned char*)"subset", 8834}, |
| {NULL, 0}, |
| {(const unsigned char*)"le", 8804}, |
| {NULL, 0}, |
| {(const unsigned char*)"ne", 8800}, |
| {(const unsigned char*)"mapstoleft", 8612}, |
| {(const unsigned char*)"NotSucceedsSlantEqual", 8929}, |
| {(const unsigned char*)"upsih", 978}, |
| {(const unsigned char*)"cedil", 184}, |
| {(const unsigned char*)"Zeta", 918}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"apos", 39}, |
| {(const unsigned char*)"nsube", 8840}, |
| {(const unsigned char*)"beta", 946}, |
| {(const unsigned char*)"frac78", 8542}, |
| {(const unsigned char*)"nltri", 8938}, |
| {(const unsigned char*)"iiiint", 10764}, |
| {NULL, 0}, |
| {(const unsigned char*)"veebar", 8891}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"RightTeeVector", 10587}, |
| {(const unsigned char*)"Dagger", 8225}, |
| {(const unsigned char*)"vltri", 8882}, |
| {(const unsigned char*)"larrtl", 8610}, |
| {(const unsigned char*)"iocy", 1105}, |
| {(const unsigned char*)"dashv", 8867}, |
| {(const unsigned char*)"frac12", 189}, |
| {(const unsigned char*)"GreaterLess", 8823}, |
| {(const unsigned char*)"jsercy", 1112}, |
| {(const unsigned char*)"rarrtl", 8611}, |
| {(const unsigned char*)"oline", 8254}, |
| {(const unsigned char*)"sup3", 179}, |
| {(const unsigned char*)"emsp13", 8196}, |
| {(const unsigned char*)"asymp", 8776}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"zeta", 950}, |
| {(const unsigned char*)"UpperRightArrow", 8599}, |
| {NULL, 0}, |
| {(const unsigned char*)"smallsetminus", 8726}, |
| {(const unsigned char*)"LeftUpTeeVector", 10592}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"dagger", 8224}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"LeftDownVector", 8643}, |
| {(const unsigned char*)"sime", 8771}, |
| {(const unsigned char*)"precsim", 8830}, |
| {(const unsigned char*)"MinusPlus", 8723}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"LeftVector", 8636}, |
| {NULL, 0}, |
| {(const unsigned char*)"profalar", 9006}, |
| {(const unsigned char*)"dtri", 9663}, |
| {(const unsigned char*)"between", 8812}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"hyphen", 8208}, |
| {NULL, 0}, |
| {(const unsigned char*)"NegativeThinSpace", 8203}, |
| {(const unsigned char*)"downdownarrows", 8650}, |
| {(const unsigned char*)"xmap", 10236}, |
| {(const unsigned char*)"ltri", 9667}, |
| {(const unsigned char*)"bdquo", 8222}, |
| {(const unsigned char*)"notinvb", 8951}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"rtri", 9657}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"hoarr", 8703}, |
| {(const unsigned char*)"plusdo", 8724}, |
| {(const unsigned char*)"ldquo", 8220}, |
| {(const unsigned char*)"bigoplus", 10753}, |
| {(const unsigned char*)"loarr", 8701}, |
| {(const unsigned char*)"natur", 9838}, |
| {(const unsigned char*)"utri", 9653}, |
| {NULL, 0}, |
| {(const unsigned char*)"rdquo", 8221}, |
| {NULL, 0}, |
| {(const unsigned char*)"roarr", 8702}, |
| {(const unsigned char*)"VerticalBar", 8739}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotPrecedesSlantEqual", 8928}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"imped", 437}, |
| {(const unsigned char*)"thinsp", 8201}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"dArr", 8659}, |
| {(const unsigned char*)"dlcorn", 8990}, |
| {NULL, 0}, |
| {(const unsigned char*)"LeftUpDownVector", 10577}, |
| {(const unsigned char*)"hArr", 8660}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"lArr", 8656}, |
| {(const unsigned char*)"ltimes", 8905}, |
| {NULL, 0}, |
| {(const unsigned char*)"rightharpoondown", 8641}, |
| {(const unsigned char*)"otimes", 8855}, |
| {(const unsigned char*)"RightTee", 8866}, |
| {(const unsigned char*)"rArr", 8658}, |
| {(const unsigned char*)"rtimes", 8906}, |
| {(const unsigned char*)"varsigma", 962}, |
| {(const unsigned char*)"uArr", 8657}, |
| {(const unsigned char*)"ulcorn", 8988}, |
| {(const unsigned char*)"vArr", 8661}, |
| {(const unsigned char*)"szlig", 223}, |
| {(const unsigned char*)"Vdash", 8873}, |
| {(const unsigned char*)"nspar", 8742}, |
| {(const unsigned char*)"bsim", 8765}, |
| {(const unsigned char*)"LeftTriangleBar", 10703}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"gsim", 8819}, |
| {(const unsigned char*)"lcub", 123}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"isinE", 8953}, |
| {(const unsigned char*)"lsim", 8818}, |
| {NULL, 0}, |
| {(const unsigned char*)"rcub", 125}, |
| {(const unsigned char*)"boxH", 9552}, |
| {NULL, 0}, |
| {(const unsigned char*)"nsim", 8769}, |
| {(const unsigned char*)"bkarow", 10509}, |
| {(const unsigned char*)"mdash", 8212}, |
| {(const unsigned char*)"odash", 8861}, |
| {(const unsigned char*)"clubsuit", 9827}, |
| {(const unsigned char*)"bigcup", 8899}, |
| {(const unsigned char*)"nwarhk", 10531}, |
| {(const unsigned char*)"boxDL", 9559}, |
| {(const unsigned char*)"ndash", 8211}, |
| {NULL, 0}, |
| {(const unsigned char*)"vdash", 8866}, |
| {(const unsigned char*)"swarhk", 10534}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"blacklozenge", 10731}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"DoubleLeftRightArrow", 8660}, |
| {NULL, 0}, |
| {(const unsigned char*)"naturals", 8469}, |
| {(const unsigned char*)"incare", 8453}, |
| {NULL, 0}, |
| {(const unsigned char*)"RightUpDownVector", 10575}, |
| {NULL, 0}, |
| {(const unsigned char*)"zwnj", 8204}, |
| {(const unsigned char*)"nprec", 8832}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"circledast", 8859}, |
| {NULL, 0}, |
| {(const unsigned char*)"heartsuit", 9829}, |
| {(const unsigned char*)"esdot", 8784}, |
| {(const unsigned char*)"bigtriangledown", 9661}, |
| {(const unsigned char*)"Uparrow", 8657}, |
| {(const unsigned char*)"gsdot", 8919}, |
| {(const unsigned char*)"Coproduct", 8720}, |
| {NULL, 0}, |
| {(const unsigned char*)"circledcirc", 8858}, |
| {(const unsigned char*)"oint", 8750}, |
| {(const unsigned char*)"qint", 10764}, |
| {NULL, 0}, |
| {(const unsigned char*)"ldsh", 8626}, |
| {(const unsigned char*)"trade", 8482}, |
| {(const unsigned char*)"lrhar2", 8651}, |
| {(const unsigned char*)"larrhk", 8617}, |
| {(const unsigned char*)"tint", 8749}, |
| {NULL, 0}, |
| {(const unsigned char*)"rdsh", 8627}, |
| {(const unsigned char*)"psgr", 968}, |
| {(const unsigned char*)"rarrhk", 8618}, |
| {(const unsigned char*)"Psi", 936}, |
| {NULL, 0}, |
| {(const unsigned char*)"larrsim", 10611}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Epsilon", 917}, |
| {NULL, 0}, |
| {(const unsigned char*)"rarrsim", 10612}, |
| {(const unsigned char*)"male", 9794}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"uparrow", 8593}, |
| {(const unsigned char*)"Scaron", 352}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Upsilon", 933}, |
| {NULL, 0}, |
| {(const unsigned char*)"hearts", 9829}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"eqsim", 8770}, |
| {(const unsigned char*)"Sigma", 931}, |
| {(const unsigned char*)"Or", 10836}, |
| {(const unsigned char*)"UpArrowDownArrow", 8645}, |
| {(const unsigned char*)"twixt", 8812}, |
| {(const unsigned char*)"psi", 968}, |
| {NULL, 0}, |
| {(const unsigned char*)"nabla", 8711}, |
| {(const unsigned char*)"bowtie", 8904}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"epsilon", 949}, |
| {NULL, 0}, |
| {(const unsigned char*)"GreaterSlantEqual", 10878}, |
| {(const unsigned char*)"NotLeftTriangleEqual", 8940}, |
| {(const unsigned char*)"apacir", 10863}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"upharpoonright", 8638}, |
| {NULL, 0}, |
| {(const unsigned char*)"scaron", 353}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"af", 8289}, |
| {(const unsigned char*)"upsilon", 965}, |
| {(const unsigned char*)"TildeEqual", 8771}, |
| {NULL, 0}, |
| {(const unsigned char*)"Lambda", 923}, |
| {(const unsigned char*)"neArr", 8663}, |
| {(const unsigned char*)"sigma", 963}, |
| {(const unsigned char*)"ETH", 208}, |
| {(const unsigned char*)"leftthreetimes", 8907}, |
| {(const unsigned char*)"seArr", 8664}, |
| {(const unsigned char*)"thicksim", 8764}, |
| {(const unsigned char*)"bigcap", 8898}, |
| {(const unsigned char*)"ang", 8736}, |
| {(const unsigned char*)"ldca", 10550}, |
| {(const unsigned char*)"rdca", 10551}, |
| {(const unsigned char*)"wr", 8768}, |
| {NULL, 0}, |
| {(const unsigned char*)"or", 8744}, |
| {(const unsigned char*)"pr", 8826}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"triangleq", 8796}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"gtrsim", 8819}, |
| {(const unsigned char*)"looparrowleft", 8619}, |
| {(const unsigned char*)"LongRightArrow", 10230}, |
| {(const unsigned char*)"nis", 8956}, |
| {(const unsigned char*)"Aring", 197}, |
| {(const unsigned char*)"LeftDownVectorBar", 10585}, |
| {(const unsigned char*)"NotTildeEqual", 8772}, |
| {(const unsigned char*)"lambda", 955}, |
| {(const unsigned char*)"larrlp", 8619}, |
| {(const unsigned char*)"leftharpoondown", 8637}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"sup2", 178}, |
| {NULL, 0}, |
| {(const unsigned char*)"rarrlp", 8620}, |
| {(const unsigned char*)"SmallCircle", 8728}, |
| {(const unsigned char*)"bNot", 10989}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"aleph", 8501}, |
| {(const unsigned char*)"blacktriangle", 9652}, |
| {NULL, 0}, |
| {(const unsigned char*)"circleddash", 8861}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"rhov", 1009}, |
| {NULL, 0}, |
| {(const unsigned char*)"UpTee", 8869}, |
| {(const unsigned char*)"die", 168}, |
| {(const unsigned char*)"bump", 8782}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"epar", 8917}, |
| {(const unsigned char*)"gnap", 10890}, |
| {(const unsigned char*)"RightFloor", 8971}, |
| {(const unsigned char*)"aring", 229}, |
| {NULL, 0}, |
| {(const unsigned char*)"lnap", 10889}, |
| {(const unsigned char*)"approx", 8776}, |
| {(const unsigned char*)"larrbfs", 10527}, |
| {(const unsigned char*)"lpar", 40}, |
| {(const unsigned char*)"npar", 8742}, |
| {(const unsigned char*)"gEl", 10892}, |
| {(const unsigned char*)"boxVl", 9570}, |
| {(const unsigned char*)"eqcolon", 8789}, |
| {(const unsigned char*)"rarrbfs", 10528}, |
| {(const unsigned char*)"rpar", 41}, |
| {(const unsigned char*)"spar", 8741}, |
| {(const unsigned char*)"thksim", 8764}, |
| {NULL, 0}, |
| {(const unsigned char*)"RightDownVectorBar", 10581}, |
| {NULL, 0}, |
| {(const unsigned char*)"para", 182}, |
| {(const unsigned char*)"thkap", 8776}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Superset", 8835}, |
| {NULL, 0}, |
| {(const unsigned char*)"ddarr", 8650}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Gamma", 915}, |
| {(const unsigned char*)"frac15", 8533}, |
| {(const unsigned char*)"kappav", 1008}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"udarr", 8645}, |
| {(const unsigned char*)"Therefore", 8756}, |
| {(const unsigned char*)"hairsp", 8202}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"CircleMinus", 8854}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ordf", 170}, |
| {(const unsigned char*)"VerticalTilde", 8768}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"LeftVectorBar", 10578}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"UnderBracket", 9141}, |
| {NULL, 0}, |
| {(const unsigned char*)"gamma", 947}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"DoubleDot", 168}, |
| {(const unsigned char*)"lceil", 8968}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"curlyeqprec", 8926}, |
| {(const unsigned char*)"varnothing", 8709}, |
| {(const unsigned char*)"nhpar", 10994}, |
| {(const unsigned char*)"therefore", 8756}, |
| {(const unsigned char*)"dlcrop", 8973}, |
| {(const unsigned char*)"rceil", 8969}, |
| {(const unsigned char*)"leftleftarrows", 8647}, |
| {(const unsigned char*)"vangrt", 10652}, |
| {NULL, 0}, |
| {(const unsigned char*)"lrm", 8206}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"curvearrowright", 8631}, |
| {(const unsigned char*)"thetas", 952}, |
| {(const unsigned char*)"PartialD", 8706}, |
| {(const unsigned char*)"nVDash", 8879}, |
| {(const unsigned char*)"wedgeq", 8793}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ulcrop", 8975}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"zigrarr", 8669}, |
| {(const unsigned char*)"lozf", 10731}, |
| {(const unsigned char*)"sung", 9834}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"iff", 8660}, |
| {(const unsigned char*)"xnis", 8955}, |
| {(const unsigned char*)"ring", 730}, |
| {(const unsigned char*)"dfisht", 10623}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"nltrie", 8940}, |
| {(const unsigned char*)"llcorner", 8990}, |
| {NULL, 0}, |
| {(const unsigned char*)"lfisht", 10620}, |
| {(const unsigned char*)"ctdot", 8943}, |
| {(const unsigned char*)"dtdot", 8945}, |
| {(const unsigned char*)"CloseCurlyQuote", 8217}, |
| {(const unsigned char*)"par", 8741}, |
| {NULL, 0}, |
| {(const unsigned char*)"rfisht", 10621}, |
| {(const unsigned char*)"ulcorner", 8988}, |
| {NULL, 0}, |
| {(const unsigned char*)"ufisht", 10622}, |
| {NULL, 0}, |
| {(const unsigned char*)"notinvc", 8950}, |
| {(const unsigned char*)"orderof", 8500}, |
| {NULL, 0}, |
| {(const unsigned char*)"Rrightarrow", 8667}, |
| {(const unsigned char*)"emsp", 8195}, |
| {(const unsigned char*)"Chi", 935}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"utdot", 8944}, |
| {(const unsigned char*)"bull", 8226}, |
| {NULL, 0}, |
| {(const unsigned char*)"khgr", 967}, |
| {(const unsigned char*)"ominus", 8854}, |
| {(const unsigned char*)"eqslantgtr", 10902}, |
| {(const unsigned char*)"multimap", 8888}, |
| {(const unsigned char*)"lowast", 8727}, |
| {(const unsigned char*)"ohgr", 969}, |
| {(const unsigned char*)"NotLess", 8814}, |
| {(const unsigned char*)"alefsym", 8501}, |
| {(const unsigned char*)"Phi", 934}, |
| {(const unsigned char*)"thgr", 952}, |
| {NULL, 0}, |
| {(const unsigned char*)"isinsv", 8947}, |
| {(const unsigned char*)"OHacgr", 911}, |
| {NULL, 0}, |
| {(const unsigned char*)"NotElement", 8713}, |
| {(const unsigned char*)"nearrow", 8599}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"DoubleLeftTee", 10980}, |
| {(const unsigned char*)"nrightarrow", 8603}, |
| {NULL, 0}, |
| {(const unsigned char*)"searrow", 8600}, |
| {(const unsigned char*)"UpTeeArrow", 8613}, |
| {NULL, 0}, |
| {(const unsigned char*)"dbkarow", 10511}, |
| {(const unsigned char*)"period", 46}, |
| {(const unsigned char*)"Gg", 8921}, |
| {(const unsigned char*)"circledR", 174}, |
| {(const unsigned char*)"DownBreve", 785}, |
| {NULL, 0}, |
| {(const unsigned char*)"imagline", 8464}, |
| {(const unsigned char*)"gneq", 10888}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"chi", 967}, |
| {NULL, 0}, |
| {(const unsigned char*)"lneq", 10887}, |
| {(const unsigned char*)"phi", 981}, |
| {NULL, 0}, |
| {(const unsigned char*)"spadesuit", 9824}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"prsim", 8830}, |
| {(const unsigned char*)"Atilde", 195}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"isinv", 8712}, |
| {(const unsigned char*)"rlarr2", 8644}, |
| {(const unsigned char*)"nrArr", 8655}, |
| {NULL, 0}, |
| {(const unsigned char*)"angst", 8491}, |
| {NULL, 0}, |
| {(const unsigned char*)"sdotb", 8865}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Ntilde", 209}, |
| {(const unsigned char*)"gg", 8811}, |
| {(const unsigned char*)"xrArr", 10233}, |
| {(const unsigned char*)"DoubleLongLeftRightArrow", 10234}, |
| {(const unsigned char*)"Otilde", 213}, |
| {NULL, 0}, |
| {(const unsigned char*)"lg", 8822}, |
| {(const unsigned char*)"LeftArrowBar", 8676}, |
| {(const unsigned char*)"thickapprox", 8776}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"precnsim", 8936}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"Element", 8712}, |
| {(const unsigned char*)"atilde", 227}, |
| {NULL, 0}, |
| {(const unsigned char*)"LessEqualGreater", 8922}, |
| {NULL, 0}, |
| {(const unsigned char*)"eqslantless", 10901}, |
| {(const unsigned char*)"EmptyVerySmallSquare", 9643}, |
| {(const unsigned char*)"phgr", 966}, |
| {(const unsigned char*)"epsiv", 949}, |
| {(const unsigned char*)"DoubleVerticalBar", 8741}, |
| {(const unsigned char*)"LeftTriangle", 8882}, |
| {NULL, 0}, |
| {(const unsigned char*)"spades", 9824}, |
| {(const unsigned char*)"frac23", 8532}, |
| {(const unsigned char*)"ntilde", 241}, |
| {(const unsigned char*)"otilde", 245}, |
| {NULL, 0}, |
| {(const unsigned char*)"sup1", 185}, |
| {(const unsigned char*)"GreaterGreater", 10914}, |
| {(const unsigned char*)"iecy", 1077}, |
| {(const unsigned char*)"NestedGreaterGreater", 8811}, |
| {(const unsigned char*)"lfloor", 8970}, |
| {(const unsigned char*)"SquareSubsetEqual", 8849}, |
| {NULL, 0}, |
| {(const unsigned char*)"acute", 180}, |
| {(const unsigned char*)"YAcy", 1071}, |
| {NULL, 0}, |
| {(const unsigned char*)"rfloor", 8971}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"quest", 63}, |
| {NULL, 0}, |
| {(const unsigned char*)"rlhar", 8652}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"geq", 8805}, |
| {(const unsigned char*)"CloseCurlyDoubleQuote", 8221}, |
| {(const unsigned char*)"lsquor", 8218}, |
| {NULL, 0}, |
| {(const unsigned char*)"tshcy", 1115}, |
| {(const unsigned char*)"leq", 8804}, |
| {(const unsigned char*)"boxUl", 9564}, |
| {(const unsigned char*)"lurdshar", 10570}, |
| {(const unsigned char*)"rsquor", 8217}, |
| {(const unsigned char*)"VerticalSeparator", 10072}, |
| {(const unsigned char*)"boxdR", 9554}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"scap", 10936}, |
| {(const unsigned char*)"hkswarow", 10534}, |
| {NULL, 0}, |
| {(const unsigned char*)"CapitalDifferentialD", 8517}, |
| {(const unsigned char*)"NoBreak", 8288}, |
| {(const unsigned char*)"lthree", 8907}, |
| {(const unsigned char*)"bigtriangleup", 9651}, |
| {(const unsigned char*)"elinters", 65533}, |
| {NULL, 0}, |
| {(const unsigned char*)"forall", 8704}, |
| {(const unsigned char*)"NotGreater", 8815}, |
| {(const unsigned char*)"rthree", 8908}, |
| {(const unsigned char*)"Jukcy", 1028}, |
| {NULL, 0}, |
| {(const unsigned char*)"Iukcy", 1030}, |
| {NULL, 0}, |
| {(const unsigned char*)"gtreqqless", 10892}, |
| {NULL, 0}, |
| {(const unsigned char*)"UnderParenthesis", 65078}, |
| {NULL, 0}, |
| {(const unsigned char*)"nearr", 8599}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"perp", 8869}, |
| {(const unsigned char*)"bepsi", 1014}, |
| {(const unsigned char*)"searr", 8600}, |
| {(const unsigned char*)"iexcl", 161}, |
| {(const unsigned char*)"LeftArrow", 8592}, |
| {(const unsigned char*)"NegativeMediumSpace", 8203}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"ast", 42}, |
| {NULL, 0}, |
| {(const unsigned char*)"lAarr", 8666}, |
| {(const unsigned char*)"DownRightVectorBar", 10583}, |
| {(const unsigned char*)"cuvee", 8910}, |
| {NULL, 0}, |
| {(const unsigned char*)"iukcy", 1110}, |
| {(const unsigned char*)"jukcy", 1108}, |
| {(const unsigned char*)"latail", 10521}, |
| {(const unsigned char*)"disin", 8946}, |
| {NULL, 0}, |
| {(const unsigned char*)"rAarr", 8667}, |
| {(const unsigned char*)"angsph", 8738}, |
| {NULL, 0}, |
| {(const unsigned char*)"InvisibleComma", 8291}, |
| {(const unsigned char*)"ratail", 10522}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"supnE", 10956}, |
| {(const unsigned char*)"ngt", 8815}, |
| {(const unsigned char*)"order", 8500}, |
| {(const unsigned char*)"divide", 247}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"colon", 58}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"CirclePlus", 8853}, |
| {(const unsigned char*)"frac18", 8539}, |
| {(const unsigned char*)"nsup", 8837}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"intprod", 10812}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"And", 10835}, |
| {NULL, 0}, |
| {(const unsigned char*)"Cup", 8915}, |
| {NULL, 0}, |
| {(const unsigned char*)"nsimeq", 8772}, |
| {NULL, 0}, |
| {(const unsigned char*)"subnE", 10955}, |
| {NULL, 0}, |
| {(const unsigned char*)"SHCHcy", 1065}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"LessLess", 10913}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*)"rightarrowtail", 8611}, |
| {(const unsigned char*)"EEgr", 919}, |
| {(const unsigned char*)"Sup", 8913}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {NULL, 0}, |
| {(const unsigned char*) |