diff options
Diffstat (limited to 'chars.in')
| -rw-r--r-- | chars.in | 38 |
1 files changed, 19 insertions, 19 deletions
@@ -100,7 +100,7 @@ CHAR("lt", ",-", 9127) CHAR("bracelefttp", ",-", 9127) CHAR("lk", "{", 9128) CHAR("braceleftmid", "{", 9128) -CHAR("lb", ",-", 9129) +CHAR("lb", "`-", 9129) CHAR("braceleftbp", "`-", 9129) CHAR("braceleftex", "|", 9130) CHAR("rt", "-.", 9131) @@ -232,15 +232,15 @@ CHAR("~o", "~\bo", 245) /* Arrows and lines. */ CHAR("<-", "<-", 8592) CHAR("->", "->", 8594) -CHAR("<>", "<>", 8596) -CHAR("da", "v", 8595) -CHAR("ua", "^", 8593) +CHAR("<>", "<->", 8596) +CHAR("da", "|\bv", 8595) +CHAR("ua", "|\b^", 8593) CHAR("va", "^v", 8597) CHAR("lA", "<=", 8656) CHAR("rA", "=>", 8658) CHAR("hA", "<=>", 8660) -CHAR("dA", "v", 8659) -CHAR("uA", "^", 8657) +CHAR("dA", "=\bv", 8659) +CHAR("uA", "=\b^", 8657) CHAR("vA", "^=v", 8661) /* Logic. */ @@ -249,7 +249,7 @@ CHAR("OR", "v", 8744) CHAR("no", "~", 172) CHAR("tno", "~", 172) CHAR("te", "3", 8707) -CHAR("fa", "V", 8704) +CHAR("fa", "-\bV", 8704) CHAR("st", "-)", 8715) CHAR("tf", ".:.", 8756) CHAR("3d", ".:.", 8756) @@ -266,8 +266,8 @@ CHAR("pc", ".", 183) CHAR("md", ".", 8901) CHAR("mu", "x", 215) CHAR("tmu", "x", 215) -CHAR("c*", "x", 8855) -CHAR("c+", "+", 8853) +CHAR("c*", "O\bx", 8855) +CHAR("c+", "O\b+", 8853) CHAR("di", "-:-", 247) CHAR("tdi", "-:-", 247) CHAR("f/", "/", 8260) @@ -293,14 +293,14 @@ CHAR("sb", "(=", 8834) CHAR("nb", "(!=", 8836) CHAR("sp", "=)", 8835) CHAR("nc", "!=)", 8837) -CHAR("ib", "(=", 8838) -CHAR("ip", "=)", 8839) +CHAR("ib", "(=\b_", 8838) +CHAR("ip", "=\b_)", 8839) CHAR("ca", "(^)", 8745) CHAR("cu", "U", 8746) -CHAR("/_", "/_", 8736) -CHAR("pp", "_|_", 8869) -CHAR("is", "I", 8747) -CHAR("integral", "I", 8747) +CHAR("/_", "_\b/", 8736) +CHAR("pp", "_\b|", 8869) +CHAR("is", "'\b,\bI", 8747) +CHAR("integral", "'\b,\bI", 8747) CHAR("sum", "E", 8721) CHAR("product", "TT", 8719) CHAR("coproduct", "U", 8720) @@ -363,10 +363,10 @@ CHAR("sl", "/", 47) CHAR("rs", "\\", 92) /* Text markers. */ -CHAR("ci", "o", 9675) +CHAR("ci", "O", 9675) CHAR("bu", "o", 8226) -CHAR("dd", "=", 8225) -CHAR("dg", "-", 8224) +CHAR("dd", "|\b=", 8225) +CHAR("dg", "|\b-", 8224) CHAR("lz", "<>", 9674) CHAR("sq", "[]", 9633) CHAR("ps", "<par>", 182) @@ -396,7 +396,7 @@ CHAR("e", "\\", 92) CHAR("de", "<deg>", 176) CHAR("%0", "%o", 8240) CHAR("fm", "\'", 8242) -CHAR("sd", "\"", 8243) +CHAR("sd", "''", 8243) CHAR("mc", ",\bu", 181) CHAR_TBL_END |