Cuantificador universal en LaTeX (\forall)

Dónde se usa

Da el cuantificador universal ∀, que se lee «para todo» o «para cada».

\forall encabeza los enunciados cuantificados universalmente, como en la definición épsilon-delta \forall \varepsilon > 0\ \exists \delta > 0. TeX lo trata como un símbolo ordinario, así que no hay espacio automático después de la variable ligada; añade \, o \ o un separador como dos puntos o un punto, según tu convención. En demostraciones con mucha prosa, muchas guías de estilo prefieren escribir «para todo» con palabras en lugar de \forall. En el cálculo lambda tipado y en la teoría de tipos también introduce tipos polimórficos, por ejemplo \forall \alpha.\, \alpha \to \alpha.

También aparece en: Lógica y Demostraciones, Cuantificadores

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
For All: $\forall$

\[ \forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta \]
\end{document}

Símbolos relacionados

• Cuantificador existencial\exists
• Equivalencia (si y solo si)\iff
• Pertenencia\in
• Implicación\implies
• No pertenencia\notin
• Mayor o igual que\geq

Preguntas frecuentes

¿Cómo escribo Cuantificador universal en LaTeX?

Escribe \forall en modo matemático, por ejemplo $\forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \forall?

Ninguno. \forall forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \forall en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\forall$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ∀ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).