0   "-" "cdot" "times" "ast" "div" "diamond" "pm" "mp"
    "oplus" "ominus" "otimes" "oslash" "odot" "bigcirc" "circ" "bullet"
    "asymp" "equiv" "subseteq" "supseteq" "leq" "geq" "preceq" "succeq"
    "sim" "approx" "subset" "supset" "ll" "gg" "prec" "succ"
    "leftarrow" "rightarrow" "uparrow" "downarrow" "leftrightarrow" "nearrow" "searrow" "simeq"
    "Leftarrow" "Rightarrow" "Uparrow" "Downarrow" "Leftrightarrow" "nwarrow" "swarrow" "propto"
    "'" "infty" "in" "ni" "triangle" "triangledown" "negate" "varshortmid"
    "forall" "exists" "neg" "emptyset" "Re" "Im" "top" "bot"
    "aleph"
91  "cup" "cap" "uplus" "wedge" "vee"
    "vdash" "dashv" "lfloor" "rfloor" "lceil" "rceil" "{" "}"
    "langle" "rangle" "|" "||" "updownarrow" "Updownarrow" "\\" "wr"
    "sqrt" "amalg" "nabla" "int" "sqcup" "sqcap" "sqsubseteq" "sqsupseteq"
    "paragraph" "dagger" "ddagger" "endofline" "clubsuit" "diamondsuit" "heartsuit" "spadesuit"
0   "um"
3   "asterisk"
6   "upm" "ump"
20  "le"
48  "prime"
63  "perp"
98  "large-lfloor" "large-rfloor" "large-lceil" "large-rceil"
    "large-{" "large-}" "large-langle" "large-rangle"
106 "mid" "parallel"
106 "large-|" "large-||"
110 "backslash"
110 "setminus"
110 "large-\\"
112 "large-sqrt"
112 "surd"