Dois-pontos de “tal que” em LaTeX (:)

Onde é usado

Dois-pontos lidos “tal que” em enunciados quantificados e na notação de conjuntos por compreensão, separando a variável da sua condição.

No modo matemático, os dois-pontos simples são tratados como relação e recebem o mesmo espaço largo dos dois lados, o que convém a \{x : x > 0\} e a \forall x : P(x). Para a assinatura de uma função, use \colon, que tem espaçamento de pontuação: f\colon A \to B fica correto, enquanto f : A \to B deixa um vão antes dos dois-pontos. Para definições, := formado por dois caracteres pode ficar desalinhado verticalmente; um símbolo de definição dedicado, de um pacote de extensão, resolve isso. Alguns autores preferem \mid ou uma barra vertical na notação por compreensão; escolha uma opção e mantenha a consistência.

Exemplo mínimo compilável

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

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

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

Símbolos relacionados

• Notação de conjunto por compreensão\{ x \mid P(x) \}
• Barra condicional\mid
• Enunciado com quantificadores aninhados\forall x \exists y : P(x, y)
• Quantificador existencial limitado\exists x \in A
• Quantificador universal limitado\forall x \in A
• Quantificador existencial sobre x\exists x

Perguntas frequentes

Como escrever Dois-pontos de “tal que” em LaTeX?

Digite : no modo matemático, por exemplo $\{ n \in \mathbb{Z} : n^2 < 10 \}$. 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.