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