-CHAR("pl", "+", 1, 43)
-CHAR("mi", "-", 1, 8722)
-CHAR("-", "-", 1, 45)
-CHAR("-+", "-+", 2, 8723)
-CHAR("+-", "+-", 2, 177)
-CHAR("t+-", "+-", 2, 177)
-CHAR("pc", ".", 1, 183)
-CHAR("md", ".", 1, 8901)
-CHAR("mu", "x", 1, 215)
-CHAR("tmu", "x", 1, 215)
-CHAR("c*", "x", 1, 8855)
-CHAR("c+", "+", 1, 8853)
-CHAR("di", "-:-", 3, 247)
-CHAR("tdi", "-:-", 3, 247)
-CHAR("f/", "/", 1, 8260)
-CHAR("**", "*", 1, 8727)
-BOTH("<=", "<=", 2, 8804)
-BOTH(">=", ">=", 2, 8805)
-CHAR("<<", "<<", 2, 8810)
-CHAR(">>", ">>", 2, 8811)
-CHAR("eq", "=", 1, 61)
-CHAR("!=", "!=", 2, 8800)
-CHAR("==", "==", 2, 8801)
-CHAR("ne", "!==", 3, 8802)
-CHAR("=~", "=~", 2, 8773)
-CHAR("-~", "-~", 2, 8771)
-CHAR("ap", "~", 1, 8764)
-CHAR("~~", "~~", 2, 8776)
-CHAR("~=", "~=", 2, 8780)
-CHAR("pt", "oc", 2, 8733)
-CHAR("es", "{}", 2, 8709)
-CHAR("mo", "E", 1, 8712)
-CHAR("nm", "!E", 2, 8713)
-CHAR("sb", "(=", 2, 8834)
-CHAR("nb", "(!=", 3, 8836)
-CHAR("sp", "=)", 2, 8835)
-CHAR("nc", "!=)", 3, 8837)
-CHAR("ib", "(=", 2, 8838)
-CHAR("ip", "=)", 2, 8839)
-CHAR("ca", "(^)", 3, 8745)
-CHAR("cu", "U", 1, 8746)
-CHAR("/_", "/_", 2, 8736)
-CHAR("pp", "_|_", 3, 8869)
-CHAR("is", "I", 1, 8747)
-CHAR("integral", "I", 1, 8747)
-CHAR("sum", "E", 1, 8721)
-CHAR("product", "TT", 2, 8719)
-CHAR("coproduct", "U", 1, 8720)
-CHAR("gr", "V", 1, 8711)
-CHAR("sr", "\\/", 2, 8730)
-CHAR("sqrt", "\\/", 2, 8730)
-CHAR("lc", "|~", 2, 8968)
-CHAR("rc", "~|", 2, 8969)
-CHAR("lf", "|_", 2, 8970)
-CHAR("rf", "_|", 2, 8971)
-CHAR("if", "oo", 2, 8734)
-CHAR("Ah", "N", 1, 8501)
-CHAR("Im", "I", 1, 8465)
-CHAR("Re", "R", 1, 8476)
-CHAR("pd", "a", 1, 8706)
-CHAR("-h", "/h", 2, 8463)