Equivalencia (triple barra) en LaTeX (\equiv)

Dónde se usa

Relación de tres barras que significa «idénticamente igual», «congruente módulo n» o «lógicamente equivalente».

La teoría de números escribe a \equiv b \pmod{n} para la congruencia, el análisis escribe f \equiv 0 para decir que una función se anula en todas partes, y la lógica lo usa para la equivalencia lógica de fórmulas. Combínalo con \pmod{n} para el módulo entre paréntesis o con \bmod para la forma binaria a \bmod n. Es distinto de \cong (isomorfismo o congruencia geométrica) y de \triangleq o := (definiciones), aunque algunos autores también lo usan para definiciones. Se niega con \not\equiv. En física, \equiv suele introducir una abreviatura: \omega \equiv 2\pi f.

También aparece en: Lógica y Demostraciones, Teoría de Números, 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}
Equivalent: $\equiv$

\[ a^{p-1} \equiv 1 \pmod{p} \]
\end{document}

Símbolos relacionados

• Proporcionalidad\propto
• Aproximadamente igual\approx
• Tilde (relación)\sim
• Signo distinto de\neq
• Isomorfismo (congruencia)\cong
• Mayor o igual que\geq

Preguntas frecuentes

¿Cómo escribo Equivalencia (triple barra) en LaTeX?

Escribe \equiv en modo matemático, por ejemplo $a^{p-1} \equiv 1 \pmod{p}$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \equiv?

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

¿Puedo usar \equiv en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\equiv$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ≡ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).