132 "" "!" "forall" "#" "exists" "%" "&" "" 2 "(" ")" "ast" "+" "," "-" "." "/" 3 "0" "1" "2" "3" "4" "5" "6" "7" 4 "8" "9" ":" ";" "less" "=" "gtr" "?" 5 "cong" "Alpha" "Beta" "Chi" "Delta" "Epsilon" "Phi" "Gamma" 6 "Eta" "Iota" "" "Kappa" "Lambda" "Mu" "Nu" "Omicron" 7 "Pi" "Theta" "Rho" "Sigma" "Tau" "Upsilon" "" "Omega" 8 "Xi" "Psi" "Zeta" "[" "therefore" "]" "perp" "_" 9 "" "" "" "" "" "" "" "" 10 "" "" "" "" "" "" "" "" 11 "" "" "" "" "" "" "" "" 12 "" "" "" "{" "|" "}" "~" 13 14160 "" "Varupsilon" "'" "leq" "" "infty" "eff" 15 "clubsuit" "diamondsuit" "heartsuit" "spadesuit" 16 "leftrightarrow" "leftarrow" "uparrow" "rightarrow" "downarrow" 17 "" "pm" "\"" "geq" "times" "propto" "partial" "bullet" "div" 18 "neq" "equiv" "approx" "ldots" "" "" "" 19 20 "aleph" "im" "re" "wp" "otimes" "oplus" "emptyset" "cap" "cup" 21 "supset" "supseteq" "nsubset" "subset" "subseteq" "in" "nin" 22 "angle" "nabla" "" "copyright" "trademark" "prod" "sqrt" "cdot" 23 "neg" "wedge" "vee" "Leftrightarrow" "Leftarrow" "Uparrow" 24 "Rightarrow" "Downarrow" 25 26 "" "langle" "" "" "" "sum" "" "" "" "" "" "" "" "" "" "" 27 "" "rangle" "int" 28