Notación por comprensión en LaTeX (\{ x \mid P(x) \})

Dónde se usa

Notación por comprensión: el conjunto de todos los x para los que se cumple la propiedad P(x), escrito con llaves y un separador.

En modo matemático las llaves deben escaparse como \{ y \}; de lo contrario solo agrupan y desaparecen del resultado. \mid es una relación, así que recibe el espacio adecuado a ambos lados, a diferencia de una | sola, que es un símbolo ordinario y apiña las letras. Cuando la condición contiene fracciones o material alto, ajusta el tamaño de todo a la vez: \left\{ x \;\middle|\; \frac{x}{2} \in \mathbb{Z} \right\}. Los dos puntos funcionan igual de bien como separador y evitan confusiones cuando la propia condición contiene valores absolutos.

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}
Set Builder: $\{ x \mid P(x) \}$

\[ \{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1) \]
\end{document}

Símbolos relacionados

• Enunciado con cuantificadores anidados\forall x \exists y : P(x, y)
• Dos puntos de «tal que»:
• Barra de condicionamiento\mid
• Cuantificador existencial acotado\exists x \in A
• Cuantificador universal acotado\forall x \in A
• Cuantificador existencial sobre x\exists x

Preguntas frecuentes

¿Cómo escribo Notación por comprensión en LaTeX?

Escribe \{ x \mid P(x) \} en modo matemático, por ejemplo $\{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \{ x \mid P(x) \}?

Ninguno. \{ x \mid P(x) \} forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \{ x \mid P(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 $\{ x \mid P(x) \}$.