Due punti “tale che” in LaTeX (:)

Dove si usa

I due punti letti «tale che» negli enunciati quantificati e nella notazione insiemistica per proprietà, a separare una variabile dalla sua condizione.

In modalità matematica i due punti semplici sono trattati come relazione e ricevono lo stesso spazio ampio su entrambi i lati, il che va bene per \{x : x > 0\} e \forall x : P(x). Per la segnatura di una funzione usate invece \colon, che ha la spaziatura della punteggiatura: f\colon A \to B rende bene, mentre f : A \to B lascia un vuoto prima dei due punti. Per le definizioni, := composto da due caratteri può risultare disallineato verticalmente; un simbolo di definizione dedicato, fornito da un pacchetto di estensione, risolve il problema. Alcuni autori preferiscono \mid o una barra verticale nella notazione insiemistica; sceglietene una e siate coerenti.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Such That (Colon): $:$

\[ \{ n \in \mathbb{Z} : n^2 < 10 \} \]
\end{document}

Simboli correlati

• Notazione insiemistica per caratteristica\{ x \mid P(x) \}
• Barra di condizionamento\mid
• Enunciato con quantificatori annidati\forall x \exists y : P(x, y)
• 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 Due punti “tale che” in LaTeX?

Scrivi : in modalità matematica, per esempio $\{ n \in \mathbb{Z} : n^2 < 10 \}$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per :?

Nessuno. : fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare : in modalità testo o solo in modalità matematica?

Entrambe. : compila nel testo e dentro $...$; in una formula lascialo in modalità matematica, così usa i font e la spaziatura matematici.