II.

Smbolos y caracteres

Cdigo Smbolo lgico

\lnot (megacin)

\neg (negacin)
\sim (negacin)
\wedge (conjuncin)
\land (conjuncin)
\& & (conjuncin)
\lor (disyuncin inclus.)
\vee (disyuncin inclus.)
\veebar (disy. exclusiva)
\supset (implicacin)
\to (implicacin)
\subset (es implicado por)
\gets (es implicado por)
\equiv (equivalencia)
\Leftrightarrow (equivalencia)
\leftrightarrow (equivalencia)
\iff (equivalencia)
\forall (para todo)
\exists (existe)
\prod (producto)
\sum (suma)
= = (es lo mismo que)
\ne (es distinto de)
\neq (es distinto de)
\top (tautologa)
\bot (contradiccin)
\vdash (es consecuencia sintctica)
\models (es consecuencia semntica)
( ( (abre parntesis)
) ) (cierra parntesis)
\{ { (abre llave)
\} } (cierra llave)
\lbrack [ (abre corchete)
\rbrack ] (cierra corchete)
\lbrace { (abre llave)
\rbrace } (cierra llave)
\langle (abre parntesis angular)
\rangle (cierra parntesis angular)
A~B A B (espacio en blanco)
\ldots (puntos suspensivos entre texto)
\cdots (puntos suspensivos en ecuacin)
\dagger (daga)
\colon : (dos puntosse define como)

Cdigo Carcter griego. Mayscula

\Gamma (gama)

\Delta (delta)
\Theta (theta)
\Lambda (lambda)
\Xi (ji)
O O (micron)
\Pi (pi)
\Sigma (sigma)
\Upsilon (psilon)
\Phi (fi)
\Psi (psi)
\Omega (omega)

Cdigo Carcter latino

A A

P P
Q Q
X X
Y Y
Z Z
a a
p p
q q
x x
y y
z z
s s
t t
u u
v v
A_2 A2 (subndice)
B_{32} B32 (superndice)
P^k Pk
Q_j^i Qij (sub- y superndice)
X^k_l Xkl (sub- y superndice)

Cdigo Carcter griego. Minscula

\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)