Unicode Dictionary

Remember, you can always look up how a symbol is input using your editor. mvrnote

CharInput
λ\Gl or \lambda
\-> or \to
Π\Pi
×\times
Σ\GS or \Sigma
\in
, , etc.\bN, \bZ, etc.
, , etc.\_1, \_2, etc.
¹, ², etc.\^1, \^2, etc.
, , etc.\^a, \^b, etc.
\^-
·\cdot
\top
\emptyset or \0
\ell
\circ
\uplus
¬\neg
\all or \forall
\ex or \exists
\== or \equiv
\~- or \simeq
\vee
\wedge