Cuantificador existencial sobre x en LaTeX (\exists x)

Dónde se usa

Cuantificador existencial que liga x y afirma que al menos un valor de x hace verdadero el enunciado.

Usos típicos son la definición de límite (\exists \delta > 0), la sobreyectividad (\forall y\, \exists x : f(x) = y) y los testigos en lógica. El orden importa: \forall y \exists x no es lo mismo que \exists x \forall y, así que escribe las cadenas de cuantificadores con cuidado. Su forma negada, \nexists, existe como símbolo propio para «no existe». Al igual que \forall, \exists no recibe espacio automático tras la variable ligada, así que añade un espacio fino o dos puntos antes del predicado. Para la unicidad, añade un signo de exclamación y obtendrás \exists!.

Ejemplo mínimo compilable

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Exists x: $\exists x$

\[ \forall y \in \mathbb{R}\; \exists x : x^3 = y \]
\end{document}

Símbolos relacionados

• Cuantificador universal acotado\forall x \in A
• Cuantificador universal sobre x\forall x
• Cuantificador existencial acotado\exists x \in A
• Superconjunto\ni
• Barra de condicionamiento\mid
• No pertenencia\notin

Preguntas frecuentes

¿Cómo escribo Cuantificador existencial sobre x en LaTeX?

Escribe \exists x en modo matemático, por ejemplo $\forall y \in \mathbb{R}\; \exists x : x^3 = y$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \exists x?

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

¿Puedo usar \exists x 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 $\exists x$.