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