version 1.47, 2014/10/28 02:43:59 |
version 1.50, 2014/12/15 19:42:21 |
Line 91 CHAR("ra", ">", 10217) |
|
Line 91 CHAR("ra", ">", 10217) |
|
CHAR("bv", "|", 9130) |
CHAR("bv", "|", 9130) |
CHAR("braceex", "|", 9130) |
CHAR("braceex", "|", 9130) |
CHAR("bracketlefttp", "|", 9121) |
CHAR("bracketlefttp", "|", 9121) |
CHAR("bracketleftbp", "|", 9123) |
CHAR("bracketleftbt", "|", 9123) |
CHAR("bracketleftex", "|", 9122) |
CHAR("bracketleftex", "|", 9122) |
CHAR("bracketrighttp", "|", 9124) |
CHAR("bracketrighttp", "|", 9124) |
CHAR("bracketrightbp", "|", 9126) |
CHAR("bracketrightbt", "|", 9126) |
CHAR("bracketrightex", "|", 9125) |
CHAR("bracketrightex", "|", 9125) |
CHAR("lt", ",-", 9127) |
CHAR("lt", ",-", 9127) |
CHAR("bracelefttp", ",-", 9127) |
CHAR("bracelefttp", ",-", 9127) |
CHAR("lk", "{", 9128) |
CHAR("lk", "{", 9128) |
CHAR("braceleftmid", "{", 9128) |
CHAR("braceleftmid", "{", 9128) |
CHAR("lb", ",-", 9129) |
CHAR("lb", "`-", 9129) |
CHAR("braceleftbp", "`-", 9129) |
CHAR("braceleftbt", "`-", 9129) |
CHAR("braceleftex", "|", 9130) |
CHAR("braceleftex", "|", 9130) |
CHAR("rt", "-.", 9131) |
CHAR("rt", "-.", 9131) |
CHAR("bracerighttp", "-.", 9131) |
CHAR("bracerighttp", "-.", 9131) |
CHAR("rk", "}", 9132) |
CHAR("rk", "}", 9132) |
CHAR("bracerightmid", "}", 9132) |
CHAR("bracerightmid", "}", 9132) |
CHAR("rb", "-\'", 9133) |
CHAR("rb", "-\'", 9133) |
CHAR("bracerightbp", "-\'", 9133) |
CHAR("bracerightbt", "-\'", 9133) |
CHAR("bracerightex", "|", 9130) |
CHAR("bracerightex", "|", 9130) |
CHAR("parenlefttp", "/", 9115) |
CHAR("parenlefttp", "/", 9115) |
CHAR("parenleftbp", "\\", 9117) |
CHAR("parenleftbt", "\\", 9117) |
CHAR("parenleftex", "|", 9116) |
CHAR("parenleftex", "|", 9116) |
CHAR("parenrighttp", "\\", 9118) |
CHAR("parenrighttp", "\\", 9118) |
CHAR("parenrightbp", "/", 9120) |
CHAR("parenrightbt", "/", 9120) |
CHAR("parenrightex", "|", 9119) |
CHAR("parenrightex", "|", 9119) |
|
|
/* Greek characters. */ |
/* Greek characters. */ |
Line 232 CHAR("~o", "~\bo", 245) |
|
Line 232 CHAR("~o", "~\bo", 245) |
|
/* Arrows and lines. */ |
/* Arrows and lines. */ |
CHAR("<-", "<-", 8592) |
CHAR("<-", "<-", 8592) |
CHAR("->", "->", 8594) |
CHAR("->", "->", 8594) |
CHAR("<>", "<>", 8596) |
CHAR("<>", "<->", 8596) |
CHAR("da", "v", 8595) |
CHAR("da", "|\bv", 8595) |
CHAR("ua", "^", 8593) |
CHAR("ua", "|\b^", 8593) |
CHAR("va", "^v", 8597) |
CHAR("va", "^v", 8597) |
CHAR("lA", "<=", 8656) |
CHAR("lA", "<=", 8656) |
CHAR("rA", "=>", 8658) |
CHAR("rA", "=>", 8658) |
CHAR("hA", "<=>", 8660) |
CHAR("hA", "<=>", 8660) |
CHAR("dA", "v", 8659) |
CHAR("dA", "=\bv", 8659) |
CHAR("uA", "^", 8657) |
CHAR("uA", "=\b^", 8657) |
CHAR("vA", "^=v", 8661) |
CHAR("vA", "^=v", 8661) |
|
|
/* Logic. */ |
/* Logic. */ |
Line 249 CHAR("OR", "v", 8744) |
|
Line 249 CHAR("OR", "v", 8744) |
|
CHAR("no", "~", 172) |
CHAR("no", "~", 172) |
CHAR("tno", "~", 172) |
CHAR("tno", "~", 172) |
CHAR("te", "3", 8707) |
CHAR("te", "3", 8707) |
CHAR("fa", "V", 8704) |
CHAR("fa", "-\bV", 8704) |
CHAR("st", "-)", 8715) |
CHAR("st", "-)", 8715) |
CHAR("tf", ".:.", 8756) |
CHAR("tf", ".:.", 8756) |
CHAR("3d", ".:.", 8756) |
CHAR("3d", ".:.", 8756) |
Line 266 CHAR("pc", ".", 183) |
|
Line 266 CHAR("pc", ".", 183) |
|
CHAR("md", ".", 8901) |
CHAR("md", ".", 8901) |
CHAR("mu", "x", 215) |
CHAR("mu", "x", 215) |
CHAR("tmu", "x", 215) |
CHAR("tmu", "x", 215) |
CHAR("c*", "x", 8855) |
CHAR("c*", "O\bx", 8855) |
CHAR("c+", "+", 8853) |
CHAR("c+", "O\b+", 8853) |
CHAR("di", "-:-", 247) |
CHAR("di", "-:-", 247) |
CHAR("tdi", "-:-", 247) |
CHAR("tdi", "-:-", 247) |
CHAR("f/", "/", 8260) |
CHAR("f/", "/", 8260) |
Line 293 CHAR("sb", "(=", 8834) |
|
Line 293 CHAR("sb", "(=", 8834) |
|
CHAR("nb", "(!=", 8836) |
CHAR("nb", "(!=", 8836) |
CHAR("sp", "=)", 8835) |
CHAR("sp", "=)", 8835) |
CHAR("nc", "!=)", 8837) |
CHAR("nc", "!=)", 8837) |
CHAR("ib", "(=", 8838) |
CHAR("ib", "(=\b_", 8838) |
CHAR("ip", "=)", 8839) |
CHAR("ip", "=\b_)", 8839) |
CHAR("ca", "(^)", 8745) |
CHAR("ca", "(^)", 8745) |
CHAR("cu", "U", 8746) |
CHAR("cu", "U", 8746) |
CHAR("/_", "/_", 8736) |
CHAR("/_", "_\b/", 8736) |
CHAR("pp", "_|_", 8869) |
CHAR("pp", "_\b|", 8869) |
CHAR("is", "I", 8747) |
CHAR("is", "'\b,\bI", 8747) |
CHAR("integral", "I", 8747) |
CHAR("integral", "'\b,\bI", 8747) |
CHAR("sum", "E", 8721) |
CHAR("sum", "E", 8721) |
CHAR("product", "TT", 8719) |
CHAR("product", "TT", 8719) |
CHAR("coproduct", "U", 8720) |
CHAR("coproduct", "U", 8720) |
Line 357 CHAR("Fn", ",\bf", 402) |
|
Line 357 CHAR("Fn", ",\bf", 402) |
|
CHAR("ba", "|", 124) |
CHAR("ba", "|", 124) |
CHAR("br", "|", 9474) |
CHAR("br", "|", 9474) |
CHAR("ul", "_", 95) |
CHAR("ul", "_", 95) |
CHAR("rl", "-", 8254) |
CHAR("rn", "-", 8254) |
CHAR("bb", "|", 166) |
CHAR("bb", "|", 166) |
CHAR("sl", "/", 47) |
CHAR("sl", "/", 47) |
CHAR("rs", "\\", 92) |
CHAR("rs", "\\", 92) |
|
|
/* Text markers. */ |
/* Text markers. */ |
CHAR("ci", "o", 9675) |
CHAR("ci", "O", 9675) |
CHAR("bu", "o", 8226) |
CHAR("bu", "+\bo", 8226) |
CHAR("dd", "=", 8225) |
CHAR("dd", "|\b=", 8225) |
CHAR("dg", "-", 8224) |
CHAR("dg", "|\b-", 8224) |
CHAR("lz", "<>", 9674) |
CHAR("lz", "<>", 9674) |
CHAR("sq", "[]", 9633) |
CHAR("sq", "[]", 9633) |
CHAR("ps", "<par>", 182) |
CHAR("ps", "<par>", 182) |
Line 396 CHAR("e", "\\", 92) |
|
Line 396 CHAR("e", "\\", 92) |
|
CHAR("de", "<deg>", 176) |
CHAR("de", "<deg>", 176) |
CHAR("%0", "%o", 8240) |
CHAR("%0", "%o", 8240) |
CHAR("fm", "\'", 8242) |
CHAR("fm", "\'", 8242) |
CHAR("sd", "\"", 8243) |
CHAR("sd", "''", 8243) |
CHAR("mc", ",\bu", 181) |
CHAR("mc", ",\bu", 181) |
|
|
CHAR_TBL_END |
CHAR_TBL_END |