Código Símbolo lógico A~B A B (espacio en blanco)

\lnot ¬ (megación) \ldots … (puntos suspensivos entre texto)

\neg ¬ (negación) \cdots ⋯ (puntos suspensivos en ecuación) (puntos suspensivos en ecuación)
\sim ∼ (negación) (negación) \dagger † (daga)
\wedge ∧ (conjunción) (conjunción) \colon : (dos puntos—se define como)
\land ∧ (conjunción) (conjunción)
\& & (conjunción)
Código Carácter griego. Mayúscula
\lor ∨ (disyunción inclus.) (disyunción inclus.)
\Gamma Γ (gama)
\vee ∨ (disyunción inclus.) (disyunción inclus.)
\Delta Δ (delta)
\veebar ⊻ (disy. exclusiva) (disy. exclusiva)
\supset ⊃ (implicación) (implicación) \Theta Θ (theta)
\to → (implicación) \Lambda Λ (lambda)
\subset ⊂ (es implicado por) (es implicado por) \Xi Ξ (ji)
\gets ← (es implicado por) O O (ómicron)
\equiv ≡ (equivalencia) \Pi Π (pi)
\Leftrightarrow ⇔ (equivalencia) (equivalencia) \Sigma Σ (sigma)
\leftrightarrow ↔ (equivalencia) \Upsilon Υ (úpsilon)
\iff ⟺ (equivalencia) (equivalencia) \Phi Φ (fi)
\forall ∀ (para todo) (para todo) \Psi Ψ (psi)
\exists ∃ (existe) (existe) \Omega Ω (omega)
\prod ∏ (producto)
\sum ∑ (suma)
= = (es lo mismo que) Código Carácter latino
A A
\ne ≠ (es distinto de)
P P
\neq ≠ (es distinto de)
Q Q
\top ⊤ (tautología) (tautología)
X X
\bot ⊥ (contradicción) (contradicción)
Y Y
\vdash ⊢ (es consecuencia sintáctica) (es consecuencia sintáctica)
Z Z
\models ⊨ (es consecuencia semántica) (es consecuencia semántica)
a a
( ( (abre paréntesis)
p p
) ) (cierra paréntesis)
q q
\{ { (abre llave)
x x
\} } (cierra llave)
y y
\lbrack [ (abre corchete)
z z
\rbrack ] (cierra corchete)
s s
\lbrace { (abre llave)
t t
\rbrace } (cierra llave) u u
\langle ⟨ (abre paréntesis angular) (abre paréntesis angular) v v
\rangle ⟩ (cierra paréntesis angular) (cierra paréntesis angular) A_2 A2 (subíndice)
B_{32} B32 (superíndice)
P^k Pk
Q_j^i Qij (sub- y superíndice)
X^k_l Xkl (sub- y superíndice)

Código Carácter griego. Minúscula

\alpha α (alfa)
\beta β (beta)
\gamma γ (gama)
\delta δ (delta)
\epsilon ϵ (épsilon)
\varepsilon ε (otra épsilon)
\zeta ζ (dseta)
\eta η (eta)
\theta θ (theta)
\vartheta ϑ (otra theta)
\iota ι (iota)
\kappa κ (kapa)
\lambda λ (lambda)
\mu μ (mu)
\nu ν (nu)
\xi ξ (ji)
o o (ómicron)
\omicron ο (otra ómicron)
\pi π (pi)
\varpi ϖ (otra pi)
\rho ρ (ro)
\varrho ϱ (otra ro)
\sigma σ (sigma)
\varsigma ς (otra sigma)
\tau τ (tau)
\upsilon υ (úpsilon)
\phi ϕ (fi)
\varphi φ (otra fi)
\chi χ (chi)
\psi ψ (psi)
\omega ω (omega)