Deux-points « tel que » en LaTeX (:)

Où il est utilisé

Deux-points lu « tel que » dans les énoncés quantifiés et la notation en compréhension, séparant une variable de sa condition.

En mode mathématique, un deux-points simple est traité comme une relation et reçoit la même espace épaisse des deux côtés, ce qui convient à \{x : x > 0\} et à \forall x : P(x). Pour la signature d’une fonction, utilisez plutôt \colon, qui a l’espacement d’une ponctuation : f\colon A \to B a un bon rendu, alors que f : A \to B laisse un vide avant le deux-points. Pour les définitions, := formé de deux caractères peut paraître mal aligné verticalement ; un symbole de définition dédié, fourni par un paquet d’extension, corrige cela. Certains auteurs préfèrent \mid ou une barre verticale dans la notation en compréhension ; choisissez-en un et restez cohérent.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Notation en compréhension\{ x \mid P(x) \}
• Barre de conditionnement\mid
• Énoncé à quantificateurs imbriqués\forall x \exists y : P(x, y)
• Quantificateur existentiel borné\exists x \in A
• Quantificateur universel borné\forall x \in A
• Quantificateur existentiel sur x\exists x

Questions fréquentes

Comment écrire Deux-points « tel que » en LaTeX ?

Tapez : en mode mathématique, par exemple $\{ n \in \mathbb{Z} : n^2 < 10 \}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour : ?

Aucun. : fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser : en mode texte, ou seulement en mode mathématique ?

Les deux. : compile dans le texte comme dans $...$ ; dans une formule, gardez le mode mathématique pour les polices et l’espacement mathématiques.