Igualdad por definición en LaTeX (:=)

Dónde se usa

Dos puntos igual, la asignación por definición: el lado izquierdo se define como igual al lado derecho.

Escribir f(x) := x^2 + 1 marca una definición y no una afirmación de igualdad, y los dos puntos van del lado de lo que se define (=: invierte la dirección). Escritos directamente, los dos puntos y el signo igual son ambos relaciones, así que TeX los compone sin espacio entre ellos, pero los dos puntos no quedan centrados verticalmente respecto al signo igual, lo que molesta a algunos tipógrafos. El comando \coloneqq de un paquete de herramientas matemáticas corrige esa alineación. En pseudocódigo también denota asignación, x := x + 1. Las alternativas incluyen \triangleq y \stackrel{\text{def}}{=}.

También aparece en: Ciencias de la Computación

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Signo igual con triángulo\triangleq
• Equivalencia asintótica (mismo orden)\asymp
• Relación de sucesor no estricta\succeq
• Relación de precedencia no estricta\preceq
• Relación de sucesor estricta\succ
• Relación de precedencia estricta\prec

Preguntas frecuentes

¿Cómo escribo Igualdad por definición en LaTeX?

Escribe := en modo matemático, por ejemplo $\|f\|_{\infty} := \sup_{x \in X} |f(x)|$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para :=?

Ninguno. := forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar := en modo texto o solo en modo matemático?

En ambos. := compila en el texto y dentro de $...$; en una fórmula déjalo en modo matemático para que use fuentes y espaciado matemáticos.