Notação de conjunto por compreensão em LaTeX (\{ x \mid P(x) \})

Onde é usado

Notação de conjunto por compreensão: o conjunto de todos os x para os quais vale a propriedade P(x), escrito com chaves e um separador.

No modo matemático, as chaves precisam ser escapadas como \{ e \}; caso contrário, apenas agrupam e somem da saída. \mid é uma relação, então recebe o espaço adequado dos dois lados, ao contrário de uma | simples, que é um símbolo comum e aperta as letras. Quando a condição contém frações ou material alto, dimensione tudo junto: \left\{ x \;\middle|\; \frac{x}{2} \in \mathbb{Z} \right\}. Os dois-pontos funcionam igualmente bem como separador e evitam confusão quando a própria condição contém valores absolutos.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou 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 com quantificadores aninhados\forall x \exists y : P(x, y)
• Dois-pontos de “tal que”:
• Barra condicional\mid
• Quantificador existencial limitado\exists x \in A
• Quantificador universal limitado\forall x \in A
• Quantificador existencial sobre x\exists x

Perguntas frequentes

Como escrever Notação de conjunto por compreensão em LaTeX?

Digite \{ x \mid P(x) \} no modo matemático, por exemplo $\{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1)$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \{ x \mid P(x) \}?

Nenhum. \{ x \mid P(x) \} faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \{ x \mid P(x) \} no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\{ x \mid P(x) \}$.