Sinal de definição em LaTeX (:=)

Onde é usado

Dois-pontos igual, a atribuição de definição: o lado esquerdo é definido como igual ao lado direito.

Escrever f(x) := x^2 + 1 marca uma definição, e não uma afirmação de igualdade, e os dois-pontos ficam do lado do que está sendo definido (=: inverte o sentido). Digitados diretamente, os dois-pontos e o sinal de igual são ambos relações, então o TeX os compõe sem espaço entre eles, mas os dois-pontos não ficam centrados verticalmente em relação ao sinal de igual, o que incomoda alguns tipógrafos. O comando \coloneqq de um pacote de ferramentas matemáticas corrige esse alinhamento. Em pseudocódigo, também indica atribuição, x := x + 1. Alternativas incluem \triangleq e \stackrel{\text{def}}{=}.

Também aparece em: Ciência da Computação

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Igual com triângulo\triangleq
• Equivalência assintótica\asymp
• Sinal de sucessão ou igualdade\succeq
• Sinal de precedência ou igualdade\preceq
• Sinal de sucessão\succ
• Sinal de precedência\prec

Perguntas frequentes

Como escrever Sinal de definição em LaTeX?

Digite := no modo matemático, por exemplo $\|f\|_{\infty} := \sup_{x \in X} |f(x)|$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para :=?

Nenhum. := faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar := no modo texto ou só no modo matemático?

Nos dois. := compila no texto corrido e dentro de $...$; em uma fórmula, mantenha-o no modo matemático para que use as fontes e o espaçamento matemáticos.