Cuantificador existencial acotado en LaTeX (\exists x \in A)

Dónde se usa

Cuantificador existencial acotado: algún elemento x de A cumple la condición que sigue.

Esta forma compacta sustituye a \exists x\,(x \in A \wedge P(x)) y aparece continuamente en análisis, por ejemplo en la densidad de los racionales: entre dos reales cualesquiera \exists q \in \mathbb{Q}. La negación de \exists x \in A\, P(x) es \forall x \in A\, \neg P(x), una regla que conviene tener presente al negar definiciones. Usa \nexists x \in A para «ningún elemento de A». Pon dos puntos, «tal que» o \; antes del predicado para que el lector vea dónde termina el cuantificador.

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 in Set: $\exists x \in A$

\[ \exists q \in \mathbb{Q} : a < q < b \]
\end{document}

Símbolos relacionados

• Barra de condicionamiento\mid
• Cuantificador universal acotado\forall x \in A
• Dos puntos de «tal que»:
• Cuantificador existencial sobre x\exists x
• Notación por comprensión\{ x \mid P(x) \}
• Cuantificador universal sobre x\forall x

Preguntas frecuentes

¿Cómo escribo Cuantificador existencial acotado en LaTeX?

Escribe \exists x \in A en modo matemático, por ejemplo $\exists q \in \mathbb{Q} : a < q < b$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \exists x \in A?

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

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