Notazione insiemistica per caratteristica in LaTeX (\{ x \mid P(x) \})

Dove si usa

Notazione per caratteristica: l'insieme di tutti gli x per cui vale la proprietà P(x), scritto con parentesi graffe e un separatore.

In modalità matematica le graffe vanno precedute da backslash, \{ e \}, altrimenti servono solo a raggruppare e spariscono dall'output. \mid è una relazione, quindi riceve lo spazio corretto su entrambi i lati, a differenza di una | semplice, che è un simbolo ordinario e schiaccia le lettere. Quando la condizione contiene frazioni o materiale alto, dimensionate tutto insieme: \left\{ x \;\middle|\; \frac{x}{2} \in \mathbb{Z} \right\}. Anche i due punti funzionano bene come separatore ed evitano confusioni quando la condizione stessa contiene valori assoluti.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo 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}

Simboli correlati

• Enunciato con quantificatori annidati\forall x \exists y : P(x, y)
• Due punti “tale che”:
• Barra di condizionamento\mid
• Quantificatore esistenziale ristretto\exists x \in A
• Quantificatore universale ristretto\forall x \in A
• Quantificatore esistenziale su x\exists x

Domande frequenti

Come si scrive Notazione insiemistica per caratteristica in LaTeX?

Scrivi \{ x \mid P(x) \} in modalità matematica, per esempio $\{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1)$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \{ x \mid P(x) \}?

Nessuno. \{ x \mid P(x) \} fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \{ x \mid P(x) \} in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\{ x \mid P(x) \}$.