Dos puntos de «tal que» en LaTeX (:)

Dónde se usa

Los dos puntos leídos como «tal que» en enunciados cuantificados y en la notación por comprensión, que separan una variable de su condición.

En modo matemático, los dos puntos simples se tratan como una relación y reciben el mismo espacio grueso a ambos lados, lo que conviene a \{x : x > 0\} y \forall x : P(x). Para la signatura de una función usa en su lugar \colon, que tiene espaciado de puntuación: f\colon A \to B se ve bien, mientras que f : A \to B deja un hueco antes de los dos puntos. En las definiciones, := formado por dos caracteres puede verse desalineado verticalmente; un símbolo de definición dedicado de un paquete de extensión lo resuelve. Algunos autores prefieren \mid o una barra vertical en la notación por comprensión; elige una opción y sé coherente.

Ejemplo mínimo compilable

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

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

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

Símbolos relacionados

• Notación por comprensión\{ x \mid P(x) \}
• Barra de condicionamiento\mid
• Enunciado con cuantificadores anidados\forall x \exists y : P(x, y)
• Cuantificador existencial acotado\exists x \in A
• Cuantificador universal acotado\forall x \in A
• Cuantificador existencial sobre x\exists x

Preguntas frecuentes

¿Cómo escribo Dos puntos de «tal que» en LaTeX?

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