PDF de programación - Simbología básica - Latex

Simbología Básica

símbolo

signicado/os habitual/es
existe
no existe
para todo
como queríamos demostrar

∃

∀
2
=⇒ implica
⇐⇒ si sólo si
:
, /
tal que
|
tal que, divide a (Teoría de números)
≡
equivalente (en módulo, misma clase de equivalencia)
=
distinto, no igual
≈
aproximadamente igual a
∞
innito
<
menor que
>
mayor que
≤ , menor o igual que
≥ , mayor o igual que
x
x
≺

∝
⊂
⊆
∈
/∈
∩
∪

\
∅
∨
∧
¬
→
↔

⊕
×
P{A}

entero inmediatamente por encima de x
parte entera de x
por debajo (en una relación de orden parcial o poset)
por debajo o a la misma altura (poset)
proporcional a
contenido en, subconjunto de
subconjunto o igual a
pertenece al conjunto
no pertenece al conjunto
intersección
unión
diferencia simétrica entre conjuntos
menos (diferencia entre conjuntos)
conjunto vacío
o
y
negación (Lógica)
implica
equivalencia bicondicional
multiplicado por (booleanamente)
más (suma boolea o disyuntiva), o exclusivo (Lógica)
por, producto cartesiano
conjunto de todas las partes del conjunto A
conjunto de los números naturales
conjunto de los números enteros
conjunto de los números racionales
conjunto de los números reales
conjunto de los números complejos

N
Z
Q
R
C

1

comando latex

\Longrightarrow
\Longlef trightarrow

\exists
\nexist
\f orall
\Box

\colon, /
\mid
\equiv
\neq
\approx
\inf ty

<
>
\leq
\geq

\lceil x\rceil
\lf loor x\rf loor

\prec
\preceq
\propto
\subset
\subseteq
\in
\notin
\cap
\cup

\vartriangle
\setminus
\emptyset
\vee
\wedge
\neg

\rightarrow
\lef trightarrow

\odot
\oplus
\times

\mathcal{P}
\mathbb{N}
\mathbb{Z}
\mathbb{Q}
\mathbb{R}
\mathbb{C}