Égalité de définition en LaTeX (:=)

Où il est utilisé

Deux-points égal, l’affectation de définition : le membre de gauche est défini comme égal au membre de droite.

Écrire f(x) := x^2 + 1 marque une définition plutôt qu’une affirmation d’égalité, et le deux-points se place du côté de l’objet défini (=: inverse le sens). Tapés directement, le deux-points et le signe égal sont tous deux des relations, si bien que TeX les compose sans espace entre eux, mais le deux-points n’est pas centré verticalement sur le signe égal, ce qui gêne certains typographes. La commande \coloneqq d’un paquet d’outils mathématiques corrige cet alignement. En pseudo-code, il désigne aussi l’affectation, x := x + 1. Parmi les alternatives figurent \triangleq et \stackrel{\text{def}}{=}.

Également dans: Informatique

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Defined As: $:=$

\[ \|f\|_{\infty} := \sup_{x \in X} |f(x)| \]
\end{document}

Symboles associés

• Signe égal à triangle\triangleq
• Équivalence asymptotique (même ordre)\asymp
• Succession large\succeq
• Précédence large\preceq
• Succession stricte\succ
• Précédence stricte\prec

Questions fréquentes

Comment écrire Égalité de définition en LaTeX ?

Tapez := en mode mathématique, par exemple $\|f\|_{\infty} := \sup_{x \in X} |f(x)|$. 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.