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" "bigtriangleup"
    "bigtriangledown" "negate" "varshortmid" "forall" "exists"
    "neg" "emptyset" "Re" "Im" "top" "bot" "aleph"
63  "perp"
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" "dag" "ddag"
    "endofline" "clubsuit" "diamondsuit" "heartsuit" "spadesuit"
0   "um"
3   "asterisk"
6   "upm" "ump"
20  "le" "ge"
33  "to"
48  "prime"
106 "mid" "parallel"
110 "backslash"
110 "setminus"
121 "dagger" "ddagger"
98  "large-lfloor-0" "large-rfloor-0" "large-lceil-0" "large-rceil-0"
    "large-{-0" "large-}-0" "large-langle-0" "large-rangle-0"
106 "large-|-0" "large-||-0"
110 "large-\\-0"
112 "large-sqrt-0"
