diff options
Diffstat (limited to 'lib/kformula/config/unicode.tbl')
| -rw-r--r-- | lib/kformula/config/unicode.tbl | 635 |
1 files changed, 635 insertions, 0 deletions
diff --git a/lib/kformula/config/unicode.tbl b/lib/kformula/config/unicode.tbl new file mode 100644 index 00000000..e3e27db8 --- /dev/null +++ b/lib/kformula/config/unicode.tbl @@ -0,0 +1,635 @@ +# +# KFormula unicode table +# Each line contains the unicode value, the char class +# (ORDINARY, BINOP or RELATION) and optionally the +# chars TeX name. +# +0x2282, RELATION, subset +0x2283, RELATION, supset +0x2044, ORDINARY +0xE201, RELATION, longleftarrow +0xE205, RELATION, longrightarrow +0x219B, ORDINARY, nrightarrow +0x2286, RELATION, subseteq +0x219A, ORDINARY, nleftarrow +0x219D, RELATION, rightsquigarrow +0x219E, ORDINARY, twoheadleftarrow +0xEC11, ORDINARY +0x2208, RELATION, in +0x2209, RELATION, notin +0xEC0D, ORDINARY +0x22D0, ORDINARY, Subset +0xEC10, ORDINARY +0x2202, ORDINARY, partial +0x2203, ORDINARY, exists +0x2200, ORDINARY, forall +0x2201, ORDINARY, complement +0x2207, ORDINARY, nabla +0x2204, ORDINARY, nexists +0x2205, BINOP, oslash +0x229A, ORDINARY, circledcirc +0x229B, ORDINARY, circledast +0x229E, ORDINARY, boxplus +0x229F, ORDINARY, boxminus +0x2291, ORDINARY, sqsubseteq +0x2290, ORDINARY, sqsupset +0x2293, ORDINARY, sqcap +0x2292, ORDINARY, sqsupseteq +0x2295, BINOP, oplus +0x2294, ORDINARY, sqcup +0x2297, BINOP, otimes +0x2296, ORDINARY, ominus +0x2299, ORDINARY, odot +0x2298, ORDINARY, oslash +0x02DD, ORDINARY +0x21AA, RELATION, hookrightarrow +0xFE38, ORDINARY +0x22A0, ORDINARY, boxtimes +0x220B, ORDINARY, ni +0x2251, ORDINARY, Doteq +0x20D6, ORDINARY, overleftarrow +0xFE37, ORDINARY +0x220F, ORDINARY, prod +0x20D1, ORDINARY, rightharpoonaccent +0x220D, RELATION, ni +0xE2F8, RELATION, lessapprox +0x2198, ORDINARY, searrow +0x2199, ORDINARY, swarrow +0x21AD, ORDINARY +0x2192, RELATION, rightarrow +0x2193, RELATION, downarrow +0x2190, RELATION, leftarrow +0x2191, RELATION, uparrow +0x2196, ORDINARY, nwarrow +0x2197, ORDINARY, nearrow +0x2194, RELATION, leftrightarrow +0x2195, ORDINARY, updownarrow +0xF8EB, ORDINARY +0x03A6, ORDINARY, Phi +0xF092, ORDINARY +0x2211, ORDINARY, sum +0x2102, ORDINARY +0xE92F, ORDINARY +0xE92D, ORDINARY +0x228E, ORDINARY, uplus +0xED01, ORDINARY +0xED02, ORDINARY +0x2224, ORDINARY +0x00B9, ORDINARY +0x2226, ORDINARY +0x2227, BINOP, wedge +0xE2A8, RELATION, nleqq +0x2221, ORDINARY, measuredangle +0x2222, ORDINARY +0x22BC, ORDINARY, barwedge +0x00B0, ORDINARY, degree +0x00B1, BINOP, pm +0x002B, BINOP +0x002C, PUNCTUATION +0x2228, BINOP, vee +0x2229, BINOP, cap +0xE2A2, RELATION, lnapprox +0xE2A3, RELATION, lneq +0xEE0D, ORDINARY +0x21D4, RELATION, Leftrightarrow +0xEA06, ORDINARY +0xF088, ORDINARY +0x221E, ORDINARY, infty +0xEA07, ORDINARY +0x22D4, RELATION, pitchfork +0xF10E, ORDINARY +0xF10D, ORDINARY +0xEA0B, ORDINARY +0xEA0C, ORDINARY +0xF10A, ORDINARY +0xEA0E, ORDINARY +0x21CA, ORDINARY, downdownarrows +0x2136, ORDINARY, beth +0x22D3, ORDINARY, Cup +0xF106, ORDINARY +0xF100, ORDINARY +0x02C7, ORDINARY +0xF102, ORDINARY +0x2130, ORDINARY +0x03B8, ORDINARY, theta +0xF109, ORDINARY +0x2131, ORDINARY +0x03B7, ORDINARY, eta +0xE2BB, RELATION, varsupsetneqq +0x2035, ORDINARY, backprime +0x2133, ORDINARY +0x03A7, ORDINARY +0xEA33, ORDINARY +0x2033, ORDINARY +0x2032, ORDINARY, prime +0x0028, ORDINARY +0x222E, ORDINARY, oint +0x222A, BINOP, cup +0x22B2, RELATION, vartriangleleft +0x22B3, RELATION, vartriangleright +0x0020, ORDINARY +0x0021, ORDINARY +0x00BC, ORDINARY +0x00BD, ORDINARY +0x0025, ORDINARY +0x0026, ORDINARY +0x00AE, ORDINARY +0x210B, ORDINARY +0x210D, ORDINARY +0x210F, ORDINARY +0x22D9, RELATION, ggg +0xE922, ORDINARY +0x00D0, ORDINARY +0x00D7, BINOP, times +0x02DA, ORDINARY +0x2122, ORDINARY +0xE90B, ORDINARY +0xE90C, ORDINARY +0x03BC, ORDINARY, mu +0x03BB, ORDINARY, lambda +0x03BA, ORDINARY, kappa +0x2124, ORDINARY +0x21A2, ORDINARY, leftarrowtail +0x21A3, ORDINARY, rightarrowtail +0x21A0, ORDINARY, twoheadrightarrow +0x21A6, ORDINARY, mapsto +0x225C, RELATION, triangleq +0xE2FE, RELATION, preceq +0xF080, ORDINARY +0xE2FF, RELATION, succapprox +0xE2FA, RELATION, leqslant +0x227E, RELATION, precsim +0x2329, ORDINARY, langle +0x222B, ORDINARY, int +0x211C, ORDINARY, Re +0x2321, ORDINARY +0x2320, ORDINARY +0x2323, RELATION, smile +0x2322, RELATION, frown +0xF0A4, ORDINARY +0xF8F6, ORDINARY +0xF8F7, ORDINARY +0xF8F4, ORDINARY +0xF8F5, ORDINARY +0xF8F2, ORDINARY +0xF8F3, ORDINARY +0xF8F0, ORDINARY +0xF8F1, ORDINARY +0x25BE, ORDINARY, blacktriangledown +0xF8F8, ORDINARY +0xF8F9, ORDINARY +0xF8FF, ORDINARY +0xEE12, ORDINARY +0xEE11, ORDINARY +0xEE10, ORDINARY +0xF8FB, ORDINARY +0xEE16, ORDINARY +0xEE15, ORDINARY +0x0029, ORDINARY +0x25BC, ORDINARY +0x21CD, ORDINARY, nLeftarrow +0xF089, ORDINARY +0xE2A7, RELATION, nleqslant +0x00B2, ORDINARY +0x22B5, ORDINARY, trianglerighteq +0x232A, ORDINARY, rangle +0xEA35, ORDINARY +0xEA44, ORDINARY +0xF103, ORDINARY +0x21AB, ORDINARY, looparrowleft +0x21AC, ORDINARY, looparrowright +0x2257, ORDINARY, circeq +0x2256, ORDINARY, eqcirc +0xE2F9, RELATION, lesseqqgtr +0x2250, RELATION, doteq +0x2253, ORDINARY, risingdotseq +0x21AE, ORDINARY +0xE2F5, RELATION, gtreqqless +0xE2F4, RELATION, gtrapprox +0xE2F6, RELATION, geqslant +0x2259, RELATION, wedgeq +0xF110, ORDINARY +0xE2A0, RELATION, gneq +0xEB02, ORDINARY +0x22DC, ORDINARY, eqless +0x00DD, ORDINARY +0x00DE, ORDINARY +0x212C, ORDINARY +0x03B6, ORDINARY, zeta +0x03B5, ORDINARY, varepsilon +0x03B4, ORDINARY, delta +0x03B3, ORDINARY, gamma +0x03B2, ORDINARY, beta +0x03B1, ORDINARY, alpha +0x2306, ORDINARY, doublebarwedge +0xF084, ORDINARY +0xF085, ORDINARY +0xF086, ORDINARY +0x0023, ORDINARY, sharp +0x00F8, ORDINARY, o +0xF081, ORDINARY +0xF083, ORDINARY +0x22B8, ORDINARY, multimap +0x03DC, ORDINARY +0x25BD, ORDINARY, bigtriangledown +0x00F0, ORDINARY +0x22B4, ORDINARY, trianglelefteq +0x00BE, ORDINARY +0xE5F1, RELATION, nsucceq +0xEB01, ORDINARY +0x2111, ORDINARY, Im +0x21C8, ORDINARY, upuparrows +0x21C9, ORDINARY, rightrightarrows +0x21C4, ORDINARY, rightleftarrows +0x227F, RELATION, succsim +0x21C6, ORDINARY, leftrightarrows +0x21D2, RELATION, Rightarrow +0x21C0, ORDINARY, rightharpoonup +0x227B, RELATION, succ +0x227A, RELATION, prec +0x21C3, ORDINARY, downharpoonleft +0x227D, RELATION, succcurlyeq +0x039F, ORDINARY +0x227C, RELATION, preccurlyeq +0x039D, ORDINARY +0x039E, ORDINARY, Xi +0x039B, ORDINARY, Lambda +0x039C, ORDINARY +0x21C1, ORDINARY, rightharpoondown +0x22E7, RELATION, gnsim +0x22E6, RELATION, lnsim +0x22E1, ORDINARY +0x21C2, ORDINARY, downharpoonright +0xFE68, ORDINARY +0x22E9, RELATION, succnsim +0x22E8, RELATION, precnsim +0x22EE, ORDINARY, vdots +0x22ED, ORDINARY, ntrianglerighteq +0x019B, ORDINARY, lambdabar +0x22EF, ORDINARY, cdots +0x22EA, ORDINARY, ntriangleleft +0x22EC, ORDINARY, ntrianglelefteq +0x22EB, ORDINARY, ntriangleright +0xEA42, ORDINARY +0xEB1A, ORDINARY +0xE5CF, RELATION, eqslantless +0x0398, ORDINARY, Theta +0x0399, ORDINARY +0x0396, ORDINARY +0x0397, ORDINARY +0x0394, ORDINARY, Delta +0x0395, ORDINARY +0x0392, ORDINARY +0x0393, ORDINARY, Gamma +0x0391, ORDINARY +0x2252, ORDINARY, fallingdotseq +0x03B9, ORDINARY, iota +0xE2B0, RELATION, nsupseteqq +0x2277, RELATION, gtrless +0x2276, RELATION, lessgtr +0x21CF, ORDINARY, nRightarrow +0x2273, RELATION, gtrsim +0x2272, RELATION, lesssim +0x2271, RELATION, ngeq +0x2270, RELATION, nleq +0x21BC, ORDINARY, leftharpoonup +0x22C6, ORDINARY, star +0xF08A, ORDINARY +0xF08B, ORDINARY +0x2269, RELATION, gneqq +0x03D1, ORDINARY, vartheta +0x25B6, ORDINARY, blacktriangleright +0x25B5, ORDINARY, vartriangle +0x25B4, ORDINARY, blacktriangle +0x03D5, ORDINARY, varphi +0x25B2, ORDINARY +0x25B1, ORDINARY +0x03D6, ORDINARY, varpi +0xEC0B, ORDINARY +0xEC0C, ORDINARY +0x2280, RELATION, nprec +0x2281, RELATION, nsucc +0xEC0F, ORDINARY +0xEE0B, ORDINARY +0x2284, RELATION, nsubset +0xEC0E, ORDINARY +0xE629, ORDINARY, epsilon +0x2288, ORDINARY, nsubseteq +0x2289, ORDINARY, nsupseteq +0x22DD, ORDINARY, eqgtr +0x02D8, ORDINARY +0x22DE, RELATION, curlyeqprec +0xFFFD, ORDINARY +0xE2B8, RELATION, varsubsetneqq +0x221A, ORDINARY, surd +0x22DB, RELATION, gtreqless +0x039A, ORDINARY +0x21DA, ORDINARY, Lleftarrow +0x221D, RELATION, propto +0x21DB, ORDINARY, Rrightarrow +0xE2BA, RELATION, varsupsetneq +0x0307, ORDINARY +0x220A, RELATION, in +0x0300, ORDINARY, grave +0x0303, ORDINARY +0x0302, ORDINARY, hat +0x266D, ORDINARY, flat +0x20D0, ORDINARY, leftharpoonaccent +0x266F, ORDINARY, sharp +0x22DA, RELATION, lesseqgtr +0x0192, ORDINARY +0x00AC, ORDINARY, neg +0x2661, ORDINARY, heartsuit +0x211B, ORDINARY +0xEA45, ORDINARY +0xEA46, ORDINARY +0x211A, ORDINARY +0xEA40, ORDINARY +0xEA41, ORDINARY +0x211D, ORDINARY +0xEA43, ORDINARY +0x03BE, ORDINARY, xi +0x22E0, ORDINARY +0x2112, ORDINARY +0x2113, ORDINARY +0x2110, ORDINARY +0x03BD, ORDINARY, nu +0x2115, ORDINARY +0x2127, ORDINARY, mho +0x2118, ORDINARY, wp +0x2119, ORDINARY +0x0161, ORDINARY +0x0160, ORDINARY +0xE2B2, RELATION, precnapprox +0x00A9, ORDINARY +0xE2B4, RELATION, succnapprox +0xE2B7, RELATION, supsetneqq +0xE2B6, RELATION, subsetneqq +0xE2B9, RELATION, varsubsetneq +0x2665, ORDINARY, heartsuit +0x2666, ORDINARY, diamondsuit +0x00A6, ORDINARY +0x2660, ORDINARY, spadesuit +0x00A0, ORDINARY +0x2662, ORDINARY, diamondsuit +0x2663, ORDINARY, clubsuit +0x2218, ORDINARY, circ +0x03F1, ORDINARY, varrho +0x03F0, ORDINARY, varkappa +0xEA2F, ORDINARY +0x21D5, ORDINARY, Updownarrow +0x2210, ORDINARY, coprod +0x2213, ORDINARY, mp +0x2212, BINOP, minus +0x2215, ORDINARY, slash +0x21D0, RELATION, Leftarrow +0x21D3, RELATION, Downarrow +0x2216, ORDINARY +0xEC02, ORDINARY +0xEC03, ORDINARY +0xEC00, ORDINARY +0x228A, ORDINARY, subsetneq +0xEC06, ORDINARY +0xEC04, ORDINARY +0xEC05, ORDINARY +0x02DB, ORDINARY +0xF116, ORDINARY +0xF117, ORDINARY +0xF114, ORDINARY +0xE5DC, RELATION, npreceq +0xF112, ORDINARY +0xF113, ORDINARY +0xE304, RELATION, subseteqq +0xE305, RELATION, supseteqq +0x21D1, RELATION, Uparrow +0x25CB, ORDINARY, bigcirc +0xF118, ORDINARY +0xF119, ORDINARY +0x22DF, RELATION, curlyeqsucc +0x2217, BINOP, ast +0xE2FD, RELATION, precapprox +0x2026, ORDINARY, ldots +0x20E1, ORDINARY, overleftrightarrow +0x007D, ORDINARY, rbrace +0x2022, BINOP, bullet +0x223C, RELATION, sim +0x228B, ORDINARY, supsetneq +0x21A9, RELATION, hookleftarrow +0x00FD, ORDINARY +0x03D2, ORDINARY, Upsilon +0xE663, ORDINARY, Upsilon +0x22D1, ORDINARY, Supset +0x00F7, BINOP, div +0x22A9, ORDINARY, Vdash +0x22A8, ORDINARY, vDash +0x03A4, ORDINARY +0x03A5, ORDINARY +0x03A3, ORDINARY, Sigma +0x03A0, ORDINARY, Pi +0x03A1, ORDINARY +0x22A1, ORDINARY, boxdot +0x228F, ORDINARY, sqsubset +0x22A3, ORDINARY, dashv +0x22A2, ORDINARY +0x22A5, ORDINARY +0x22A4, ORDINARY, top +0x03A8, ORDINARY, Psi +0x03A9, ORDINARY, Omega +0xEA2E, ORDINARY +0x2138, ORDINARY, daleth +0x231E, ORDINARY, llcorner +0x22AA, ORDINARY, Vvdash +0x2135, ORDINARY, aleph +0x22AC, ORDINARY, nvdash +0x2137, ORDINARY, gimel +0x22AE, ORDINARY, nVdash +0x22AD, ORDINARY, nvDash +0x2132, ORDINARY, Finv +0x22AF, ORDINARY, nVDash +0x002E, PUNCTUATION +0xEC01, ORDINARY +0xEA47, ORDINARY +0x2235, BINOP, because +0x2234, BINOP, therefore +0x2242, ORDINARY, eqsim +0x231F, ORDINARY, lrcorner +0x03BF, ORDINARY, o +0x2243, RELATION, simeq +0x2240, ORDINARY, wr +0xE92E, ORDINARY +0x226A, RELATION, ll +0x231C, ORDINARY, ulcorner +0x2214, ORDINARY, dotplus +0xEA3E, ORDINARY +0xEA3D, ORDINARY +0xEA3F, ORDINARY +0xEA3A, ORDINARY +0x266E, ORDINARY, natural +0xEA3C, ORDINARY +0xEA3B, ORDINARY +0xEC24, ORDINARY +0xEC25, ORDINARY +0xEC26, ORDINARY +0xEC27, ORDINARY +0xEC22, ORDINARY +0xEC23, ORDINARY +0xEE04, ORDINARY +0xEE05, ORDINARY +0xEE06, ORDINARY +0xEE07, ORDINARY +0xEE00, ORDINARY +0xEE01, ORDINARY +0xEA34, ORDINARY +0x22D7, RELATION, gtrdot +0xEE08, ORDINARY +0xEE09, ORDINARY +0xEA10, ORDINARY +0x0037, ORDINARY +0x0036, ORDINARY +0x0035, ORDINARY +0x0034, ORDINARY +0x0033, ORDINARY +0x0032, ORDINARY +0x0031, ORDINARY +0x0030, ORDINARY +0x21C7, ORDINARY, leftleftarrows +0x0039, ORDINARY +0x0038, ORDINARY +0x231D, ORDINARY, urcorner +0x2247, ORDINARY, ncong +0x2244, ORDINARY, nsime +0x2245, RELATION, cong +0x22C7, ORDINARY, divideontimes +0xE5DF, RELATION, eqslantgtr +0x22C5, BINOP, cdot +0x2241, ORDINARY +0x22C9, ORDINARY, ltimes +0xEA32, ORDINARY +0x2287, RELATION, supseteq +0x2248, RELATION, approx +0x0131, ORDINARY +0x03C0, ORDINARY, pi +0x03C1, ORDINARY, rho +0x03C2, ORDINARY +0x03C3, ORDINARY, sigma +0x03C4, ORDINARY, tau +0x03C5, ORDINARY, upsilon +0x03C6, ORDINARY, phi +0x03C7, ORDINARY, chi +0x03C8, ORDINARY, psi +0x03C9, ORDINARY, omega +0xE933, ORDINARY +0xE932, ORDINARY +0x25AD, ORDINARY +0x26C4, ORDINARY, Diamond +0x25A0, ORDINARY +0x25AA, ORDINARY +0x25A1, ORDINARY +0xE93A, ORDINARY +0xE93B, ORDINARY +0x224F, ORDINARY, bumpeq +0x22CB, ORDINARY, leftthreetimes +0x22CA, ORDINARY, rtimes +0x224E, ORDINARY, Bumpeq +0x22CF, ORDINARY, curlywedge +0x22CE, ORDINARY, curlyvee +0x224A, ORDINARY, approxeq +0x003F, ORDINARY +0x003E, RELATION, greater +0x003D, RELATION +0x003C, RELATION, less +0x003B, PUNCTUATION +0x003A, PUNCTUATION, colon +0x2225, ORDINARY +0xEB19, ORDINARY +0xF115, ORDINARY +0x22D6, RELATION, lessdot +0xEE0E, ORDINARY +0xEE0F, ORDINARY +0x22D2, ORDINARY, Cap +0xEE0A, ORDINARY +0xE98F, ORDINARY +0xEE0C, ORDINARY +0xEB04, ORDINARY +0x2220, ORDINARY, angle +0x22D8, RELATION, lll +0x22BA, ORDINARY, intercal +0xEE13, ORDINARY +0x21DD, ORDINARY, rightzigzagarrow +0x22BB, ORDINARY, veebar +0xF08C, ORDINARY +0xF8EF, ORDINARY +0xF8EE, ORDINARY +0xF8ED, ORDINARY +0xF8EC, ORDINARY +0xF8FD, ORDINARY +0xF8EA, ORDINARY +0x2720, ORDINARY, maltese +0x2605, ORDINARY, bigstar +0xF8FE, ORDINARY +0x21CB, ORDINARY, leftrightharpoons +0x21CC, ORDINARY, rightleftharpoons +0xE2A6, RELATION, ngeqslant +0xF8FC, ORDINARY +0x2260, RELATION, neq +0x2261, RELATION, equiv +0xE29F, RELATION, gnapprox +0x00B3, ORDINARY +0x2264, RELATION, leq +0x2265, RELATION, geq +0x2266, RELATION, leqq +0x2267, RELATION, geqq +0x2268, RELATION, lneqq +0x21BB, ORDINARY, cwopencirclearrow +0x21BA, ORDINARY, acwopencirclearrow +0xF8FA, ORDINARY +0x21BF, ORDINARY, upharpoonleft +0x21BE, ORDINARY, upharpoonright +0x21BD, ORDINARY, leftharpoondown +0x25C0, ORDINARY, blacktriangleleft +0x002F, ORDINARY +0x24C8, ORDINARY, circledS +0x007B, ORDINARY, lbrace +0xF093, ORDINARY +0x301A, ORDINARY +0x301B, ORDINARY +0xF097, ORDINARY +0xF096, ORDINARY +0xF095, ORDINARY +0xF094, ORDINARY +0xF098, ORDINARY +0x21CE, ORDINARY, nLeftrightarrow +0xE300, RELATION, succeq +0xF8E7, ORDINARY +0x226B, RELATION, gg +0x226C, RELATION, between +0x007C, ORDINARY, mid +0x226E, RELATION, nless +0x226F, RELATION, ngtr +0x00FE, ORDINARY +0x21B1, ORDINARY, Rsh +0x21B0, ORDINARY, Lsh +0x21B7, ORDINARY, curvearrowright +0x21B6, ORDINARY, curvearrowleft +0x21B5, ORDINARY, carriagereturn +0x22CC, ORDINARY, rightthreetimes +0x005C, ORDINARY, backslash +0x005B, ORDINARY, lbrack +0xF08E, ORDINARY +0x005D, ORDINARY, rbrack +0x005F, ORDINARY +0x25B3, ORDINARY, bigtriangleup +0x224D, ORDINARY, asymp +0x22F0, ORDINARY, adots +0x22F1, ORDINARY, ddots +0x20D7, ORDINARY, vec +0xF8E9, ORDINARY +0xF8E8, ORDINARY +0xEB03, ORDINARY +0xF8E6, RELATION +0xF8E5, ORDINARY +0xEB00, ORDINARY +0xFB02, ORDINARY +0xEB06, ORDINARY +0xEB05, ORDINARY +0xFB01, ORDINARY |