Unicode Dictionary

Remember, you can always look up how a symbol is input using your editor. In Emacs, place your cursor over the symbol and type M-x describe-char. A window will pop up with details about the symbol: the line beginning with to input: is what you want. In VSCode, use the command C-x C-=. A text box will appear that you can paste the character into. Test it out on the symbol here: .

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
\neq or \ne
\nequiv
\mid
\parallel
\partial
\bullet
\qed
\cw
, \langle, \rangle
α\Ga or \alpha
β\Gb or \beta
ε\Ge or \varepsilon
η\Gh or \eta
θ\Gth or \theta
ι\Gi or \iota
φ\Gf or \phi
ψ\Gp or \psi
Ω\GO or \Omega