32  ""  "!" "forall" "#" "exists" "%" "&" ""
    "(" ")" "ast" "+" "," "-" "." "/"
    "0" "1" "2" "3" "4" "5" "6" "7"
    "8" "9" ":" ";" "less" "=" "gtr" "?"
    "cong" "Alpha" "Beta" "Chi" "Delta" "Epsilon" "Phi" "Gamma"
    "Eta" "Iota" "" "Kappa" "Lambda" "Mu" "Nu" "Omicron"
    "Pi" "Theta" "Rho" "Sigma" "Tau" "Upsilon" "" "Omega"
    "Xi" "Psi" "Zeta" "[" "therefore" "]" "perp" "_"
    "" "" "" "" "" "" "" ""
    "" "" "" "" "" "" "" ""
    "" "" "" "" "" "" "" ""
    "" "" "" "{" "|" "}" "~"

160 "" "Varupsilon" "'" "leq" "" "infty" "eff"
    "clubsuit" "diamondsuit" "heartsuit" "spadesuit"
    "leftrightarrow" "leftarrow" "uparrow" "rightarrow" "downarrow"
    "" "pm" "\"" "geq" "times" "propto" "partial" "bullet" "div"
    "neq" "equiv" "approx" "ldots" "" "" ""

    "aleph" "im" "re" "wp" "otimes" "oplus" "emptyset" "cap" "cup"
    "supset" "supseteq" "nsubset" "subset" "subseteq" "in" "nin"
    "angle" "nabla" "" "copyright" "trademark" "prod" "sqrt" "cdot"
    "neg" "wedge" "vee" "Leftrightarrow" "Leftarrow" "Uparrow"
    "Rightarrow" "Downarrow"

    "" "langle" "" "" "" "sum" "" "" "" "" "" "" "" "" "" ""
    "" "rangle" "int"
