Simbolo di definizione (due punti e uguale) in LaTeX (:=)

Dove si usa

Due punti seguiti da uguale, il segno di definizione: il membro sinistro è definito uguale al membro destro.

Scrivere f(x) := x^2 + 1 indica una definizione anziché un'affermazione di uguaglianza, e i due punti stanno dal lato dell'oggetto che si definisce (=: inverte la direzione). Digitati direttamente, i due punti e il segno di uguale sono entrambi relazioni, quindi TeX li compone senza spazio tra loro, ma i due punti non sono centrati verticalmente rispetto al segno di uguale, il che infastidisce alcuni tipografi. Il comando \coloneqq di un pacchetto di strumenti matematici corregge questo allineamento. Nello pseudocodice indica anche l'assegnazione, x := x + 1. Alternative sono \triangleq e \stackrel{\text{def}}{=}.

Compare anche in: Informatica

Esempio minimo compilabile

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

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

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

Simboli correlati

• Uguale con triangolo\triangleq
• Relazione asintotica\asymp
• Relazione “segue o uguale”\succeq
• Relazione “precede o uguale”\preceq
• Relazione “segue”\succ
• Relazione “precede”\prec

Domande frequenti

Come si scrive Simbolo di definizione (due punti e uguale) in LaTeX?

Scrivi := in modalità matematica, per esempio $\|f\|_{\infty} := \sup_{x \in X} |f(x)|$. 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.