version 1.47, 2014/10/28 02:43:59 |
version 1.48, 2014/10/29 03:35:09 |
Line 100 CHAR("lt", ",-", 9127) |
|
Line 100 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("braceleftbp", "`-", 9129) |
CHAR("braceleftex", "|", 9130) |
CHAR("braceleftex", "|", 9130) |
CHAR("rt", "-.", 9131) |
CHAR("rt", "-.", 9131) |
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 363 CHAR("sl", "/", 47) |
|
Line 363 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", "o", 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 |