NAME \forall
CMD ∀

NAME \exists
CMD ∃

NAME \notexists
CMD ∄

NAME \neq
CMD ≠

NAME \equiv
CMD ⇔

NAME \implies
CMD ⇒

NAME \emptyset
CMD ∅

NAME \in
CMD ∈

NAME \subseteq
CMD ⊆

NAME \notsubseteq
CMD ⊈

NAME \subsetneq
CMD ⊊

NAME \subset
CMD ⊂

NAME \notsubset
CMD ⊄

NAME \notin
CMD ∉

NAME \union
CMD ∪

NAME \intersect
CMD ∩

NAME \ints
CMD ℤ

NAME \nats
CMD ℕ

NAME \reals
CMD ℝ

NAME \rats
CMD ℚ

NAME \inf
CMD ∞

NAME \nabla
CMD ∇

NAME \plusminus
CMD ±

NAME \leq
CMD ≤

NAME \geq
CMD ≥

NAME \rotleft
CMD ≪

NAME \rotright
CMD ≫

NAME \bottom
CMD ⊥

NAME \top
CMD ⊤

NAME \and
CMD ∧

NAME \or
CMD ∨

NAME \sum
CMD ∑

NAME \prod
CMD ∏

NAME \divides
CMD ∣

NAME \notdivides
CMD ∤

NAME \integral
CMD ∫

NAME \therefore
CMD ∴

NAME \because
CMD ∵

NAME \dotminus
CMD ∸

NAME \aprox
CMD ∼

NAME \aproxeq
CMD ≃

NAME \notaproxeq
CMD ≄

NAME \cong
CMD ≡

NAME \eqdef
CMD ≝

NAME \eqtriang
CMD ≜

NAME \eqquestion
CMD ≟

NAME \prec
CMD ≺

NAME \succ
CMD ≻

NAME \preceq
CMD ≼

NAME \succeq
CMD ≽

NAME \absop
CMD ⨀

NAME \abssum
CMD ⨁

NAME \xor
CMD ⨁

NAME \absmul
CMD ⨂

NAME \assertion
CMD ⊦

NAME \models
CMD ⊧

NAME \cdots
CMD ⋯

NAME \vdots
CMD ⋮

NAME \cdot
CMD ⋅

NAME \lseq
CMD ⟨

NAME \rseq
CMD ⟩

NAME \ldsqbracket
CMD ⟦

NAME \rdsqbracket
CMD ⟧

NAME \mapsto
CMD ⟿

NAME \not
CMD ¬

NAME \qed
CMD □

NAME \contradiction
CMD ↯

NAME \alpha
CMD α

NAME \beta
CMD β

NAME \gamma
CMD γ

NAME \delta
CMD δ

NAME \epsilon
CMD ε

NAME \zeta
CMD ζ

NAME \eta
CMD η

NAME \theta
CMD θ

NAME \iota
CMD ι

NAME \kappa
CMD κ

NAME \lambda
CMD λ

NAME \mu
CMD μ

NAME \nu
CMD ν

NAME \xi
CMD ξ

NAME \omicron
CMD ο

NAME \pi
CMD π

NAME \rho
CMD ρ

NAME \sigma
CMD σ

NAME \tau
CMD τ

NAME \upsilon
CMD υ

NAME \phi
CMD φ

NAME \chi
CMD χ

NAME \psi
CMD ψ

NAME \omega
CMD ω

NAME \Alpha
CMD Α

NAME \Beta
CMD Β

NAME \Gamma
CMD Γ

NAME \Delta
CMD Δ

NAME \Epsilon
CMD Ε

NAME \Zeta
CMD Ζ

NAME \Eta
CMD Η

NAME \Theta
CMD Θ

NAME \Iota
CMD Ι

NAME \Kappa
CMD Κ

NAME \Lambda
CMD Λ

NAME \Mu
CMD Μ

NAME \Nu
CMD Ν

NAME \Xi
CMD Ξ

NAME \Omicron
CMD Ο

NAME \Pi
CMD Π

NAME \Rho
CMD Ρ

NAME \Sigma
CMD Σ

NAME \Tau
CMD Τ

NAME \Upsilon
CMD Υ

NAME \Phi
CMD Φ

NAME \Chi
CMD Χ

NAME \Psi
CMD Ψ

NAME \Omega
CMD Ω

NAME \Wau
CMD Ϝ