20KFORMULA_NAMESPACE_BEGIN
22struct UnicodeNameTable { short unicode; const char* name; };
24static UnicodeNameTable greekTable[] = {
29 { 0x03B5, "epsilon" },
30 { 0x03F5, "varepsilon" },
34 { 0x03D1, "vartheta" },
37 { 0x03F0, "varkappa" },
47 { 0x03C2, "varsigma" },
49 { 0x03C5, "upsilon" },
62 { 0x03D2, "Upsilon" },
69static UnicodeNameTable arrowTable[] = {
70 { 0x2190, "leftarrow" },
71 { 0x2191, "uparrow" },
72 { 0x2192, "rightarrow" },
73 { 0x2193, "downarrow" },
74 { 0x2194, "leftrightarrow" },
75 { 0x2195, "updownarrow" },
76 { 0x2196, "nwarrow" },
77 { 0x2197, "nearrow" },
78 { 0x2198, "searrow" },
79 { 0x2199, "swarrow" },
80 { 0x219A, "nleftarrow" },
81 { 0x219B, "nrightarrow" },
83 { 0x219D, "rightsquigarrow" },
84 { 0x219E, "twoheadleftarrow" },
86 { 0x21A0, "twoheadrightarrow" },
88 { 0x21A2, "leftarrowtail" },
89 { 0x21A3, "rightarrowtail" },
95 { 0x21A9, "hookleftarrow" },
96 { 0x21AA, "hookrightarrow" },
97 { 0x21AB, "looparrowleft" },
98 { 0x21AC, "looparrowright" },
99 { 0x21AD, "leftrightsquigarrow" },
100 { 0x21AE, "nleftrightarrow" },
107 { 0x21B5, "carriagereturn" },
108 { 0x21B6, "curvearrowleft" },
109 { 0x21B7, "curvearrowright" },
112 { 0x21BA, "acwopencirclearrow" },
113 { 0x21BB, "cwopencirclearrow" },
114 { 0x21BC, "leftharpoonup" },
115 { 0x21BD, "leftharpoondown" },
116 { 0x21BE, "upharpoonright" },
117 { 0x21BF, "upharpoonleft" },
118 { 0x21C0, "rightharpoonup" },
119 { 0x21C1, "rightharpoondown" },
120 { 0x21C2, "downharpoonright" },
121 { 0x21C3, "downharpoonleft" },
122 { 0x21C4, "rightleftarrows" },
124 { 0x21C6, "leftrightarrows" },
125 { 0x21C7, "leftleftarrows" },
126 { 0x21C8, "upuparrows" },
127 { 0x21C9, "rightrightarrows" },
128 { 0x21CA, "downdownarrows" },
129 { 0x21CB, "leftrightharpoons" },
130 { 0x21CC, "rightleftharpoons" },
131 { 0x21CD, "nLeftarrow" },
132 { 0x21CE, "nLeftrightarrow" },
133 { 0x21CF, "nRightarrow" },
134 { 0x21D0, "Leftarrow" },
135 { 0x21D1, "Uparrow" },
136 { 0x21D2, "Rightarrow" },
137 { 0x21D3, "Downarrow" },
138 { 0x21D4, "Leftrightarrow" },
139 { 0x21D5, "Updownarrow" },
144 { 0x21DA, "Lleftarrow" },
145 { 0x21DB, "Rrightarrow" },
147 { 0x21DD, "rightzigzagarrow" },
289static UnicodeNameTable operatorTable[] = {
290 { 0x2200, "forall" },
291 { 0x2201, "complement" },
292 { 0x2202, "partial" },
293 { 0x2203, "exists" },
294 { 0x2204, "nexists" },
295 { 0x2205, "oslash" },
296 { 0x2206, "triangle" },
304 { 0x220E, "blacksquare" },
306 { 0x2210, "coprod" },
310 { 0x2214, "dotplus" },
312 { 0x2216, "setminus" },
315 { 0x2219, "bullet" },
319 { 0x221D, "propto" },
323 { 0x2221, "measuredangle" },
327 { 0x2225, "parallel" },
328 { 0x2226, "nparallel" },
342 { 0x2234, "therefore" },
343 { 0x2235, "because" },
351 { 0x223D, "backsim" },
362 { 0x2248, "approx" },
364 { 0x224A, "approxeq" },
368 { 0x224E, "Bumpeq" },
369 { 0x224F, "bumpeq" },
372 { 0x2252, "fallingdotseq" },
373 { 0x2253, "risingdotseq" },
376 { 0x2256, "eqcirc" },
377 { 0x2257, "circeq" },
379 { 0x2259, "wedgeq" },
382 { 0x225C, "triangleq" },
398 { 0x226C, "between" },
404 { 0x2272, "lesssim" },
405 { 0x2273, "gtrsim" },
408 { 0x2276, "lessgtr" },
409 { 0x2277, "gtrless" },
414 { 0x227C, "preccurlyeq" },
415 { 0x227D, "succcurlyeq" },
416 { 0x227E, "precsim" },
417 { 0x227F, "succsim" },
420 { 0x2282, "subset" },
421 { 0x2283, "supset" },
422 { 0x2284, "nsubset" },
423 { 0x2286, "subseteq" },
424 { 0x2287, "supseteq" },
425 { 0x2288, "nsubseteq" },
426 { 0x2289, "nsupseteq" },
427 { 0x228A, "subsetneq" },
428 { 0x228B, "supsetneq" },
432 { 0x228F, "sqsubset" },
433 { 0x2290, "sqsupset" },
434 { 0x2291, "sqsubseteq" },
435 { 0x2292, "sqsupseteq" },
439 { 0x2296, "ominus" },
440 { 0x2297, "otimes" },
441 { 0x2298, "oslash" },
443 { 0x229A, "circledcirc" },
444 { 0x229B, "circledast" },
446 { 0x229D, "circleddash" },
447 { 0x229E, "boxplus" },
448 { 0x229F, "boxminus" },
449 { 0x22A0, "boxtimes" },
450 { 0x22A1, "boxdot" },
459 { 0x22AA, "Vvdash" },
461 { 0x22AC, "nvdash" },
462 { 0x22AD, "nvDash" },
463 { 0x22AE, "nVdash" },
464 { 0x22AF, "nVDash" },
466 { 0x22B2, "vartriangleleft" },
467 { 0x22B3, "vartriangleright" },
468 { 0x22B4, "trianglelefteq" },
469 { 0x22B5, "trianglerighteq" },
472 { 0x22B8, "multimap" },
474 { 0x22BA, "intercal" },
475 { 0x22BB, "veebar" },
476 { 0x22BC, "barwedge" },
483 { 0x22C4, "diamond" },
486 { 0x22C7, "divideontimes" },
488 { 0x22C9, "ltimes" },
489 { 0x22CA, "rtimes" },
490 { 0x22CB, "leftthreetimes" },
491 { 0x22CC, "rightthreetimes" },
492 { 0x22CD, "backsimeq" },
493 { 0x22CE, "curlyvee" },
494 { 0x22CF, "curlywedge" },
495 { 0x22D0, "Subset" },
496 { 0x22D1, "Supset" },
499 { 0x22D4, "pitchfork" },
501 { 0x22D6, "lessdot" },
502 { 0x22D7, "gtrdot" },
505 { 0x22DA, "lesseqgtr" },
506 { 0x22DB, "gtreqless" },
507 { 0x22DC, "eqless" },
509 { 0x22DE, "curlyeqprec" },
510 { 0x22DF, "curlyeqsucc" },
519 { 0x22E8, "precnsim" },
520 { 0x22E9, "succnsim" },
521 { 0x22EA, "ntriangleleft" },
522 { 0x22EB, "ntriangleright" },
523 { 0x22EC, "ntrianglelefteq" },
524 { 0x22ED, "ntrianglerighteq" },
546KFORMULA_NAMESPACE_END
|