Alpha	Α
Beta	Β
Gamma	Γ
Delta	Δ
Epsilon	Ε
Zeta	Ζ
Eta	Η
Theta	Θ
Iota	Ι
Kappa	Κ
Lambda	Λ
Mu	Μ
Nu	Ν
Omicron	Ο
Pi	Π
Rho	Ρ
Sigma	Σ
Tau	Τ
Phi	Φ
Psi	Ψ
Chi	Χ
Omega	Ω
alpha	α
beta	β
gamma	γ
delta	δ
epsilon	ε
zeta	ζ
eta	η
theta	θ
iota	ι
kappa	κ
lambda	λ
mu	μ
nu	ν
omicron	ο
pi	π
rho	ρ
sigma	σ
tau	τ
phi	φ
psi	ψ
chi	χ
omega	ω
lArr	⇐
rArr	⇒
hArr	⇔
forall	∀
exist	∃
cap	∩
cup	∪
wedge	⋀
vee	⋁
neg	¬
not in	∉
not ni	∌
not proves	⊬
not models	⊭
qed	∎
in	∈
ni	∋
proves	⊢
models	⊨