-CHAR("pl", 2, "+", 1, "+", 5)
-CHAR("mi", 2, "-", 1, "−", 7)
-CHAR("-", 1, "-", 1, "-", 1)
-CHAR("-+", 2, "-+", 2, "∓", 7)
-CHAR("+-", 2, "+-", 2, "±", 6)
-CHAR("t+-", 3, "+-", 2, "±", 6)
-CHAR("pc", 2, ".", 1, "·", 6)
-CHAR("md", 2, ".", 1, "⋅", 7)
-CHAR("mu", 2, "x", 1, "×", 6)
-CHAR("tmu", 3, "x", 1, "×", 6)
-CHAR("c*", 2, "x", 1, "⊗", 7)
-CHAR("c+", 2, "+", 1, "⊕", 7)
-CHAR("di", 2, "-:-", 3, "÷", 6)
-CHAR("tdi", 3, "-:-", 3, "÷", 6)
-CHAR("f/", 2, "/", 1, "⁄", 7)
-CHAR("**", 2, "*", 1, "∗", 7)
-BOTH("<=", 2, "<=", 2, "≤", 7)
-BOTH(">=", 2, ">=", 2, "≥", 7)
-CHAR("<<", 2, "<<", 2, "≪", 7)
-CHAR(">>", 2, ">>", 2, "≫", 7)
-CHAR("eq", 2, "=", 1, "=", 5)
-CHAR("!=", 2, "!=", 2, "≠", 7)
-CHAR("==", 2, "==", 2, "≡", 7)
-CHAR("ne", 2, "!==", 3, "≢", 7)
-CHAR("=~", 2, "=~", 2, "≅", 7)
-CHAR("-~", 2, "-~", 2, "≃", 7)
-CHAR("ap", 2, "~", 1, "∼", 7)
-CHAR("~~", 2, "~~", 2, "≈", 7)
-CHAR("~=", 2, "~=", 2, "≌", 7)
-CHAR("pt", 2, "oc", 2, "∝", 7)
-CHAR("es", 2, "{}", 2, "∅", 7)
-CHAR("mo", 2, "E", 1, "∈", 7)
-CHAR("nm", 2, "!E", 2, "∉", 7)
-CHAR("sb", 2, "(=", 2, "⊂", 7)
-CHAR("nb", 2, "(!=", 3, "⊄", 7)
-CHAR("sp", 2, "=)", 2, "⊃", 7)
-CHAR("nc", 2, "!=)", 3, "⊅", 7)
-CHAR("ib", 2, "(=", 2, "⊆", 7)
-CHAR("ip", 2, "=)", 2, "⊇", 7)
-CHAR("ca", 2, "(^)", 3, "∩", 7)
-CHAR("cu", 2, "U", 1, "∪", 7)
-CHAR("/_", 2, "/_", 2, "∠", 7)
-CHAR("pp", 2, "_|_", 3, "⊥", 7)
-CHAR("is", 2, "I", 1, "∫", 7)
-CHAR("integral", 8, "I", 1, "∫", 7)
-CHAR("sum", 3, "E", 1, "∑", 7)
-CHAR("product", 7, "TT", 2, "∏", 7)
-CHAR("coproduct", 9, "U", 1, "∐", 7)
-CHAR("gr", 2, "V", 1, "∇", 7)
-CHAR("sr", 2, "\\/", 2, "√", 7)
-CHAR("sqrt", 4, "\\/", 2, "√", 7)
-CHAR("lc", 2, "|~", 2, "⌈", 7)
-CHAR("rc", 2, "~|", 2, "⌉", 7)
-CHAR("lf", 2, "|_", 2, "⌊", 7)
-CHAR("rf", 2, "_|", 2, "⌋", 7)
-CHAR("if", 2, "oo", 2, "∞", 7)
-CHAR("Ah", 2, "N", 1, "ℵ", 7)
-CHAR("Im", 2, "I", 1, "ℑ", 7)
-CHAR("Re", 2, "R", 1, "ℜ", 7)
-CHAR("pd", 2, "a", 1, "∂", 7)
-CHAR("-h", 2, "/h", 2, "ℏ", 7)