Signo de no equivalencia en LaTeX (\not\equiv)

Dónde se usa

Triple barra tachada: no congruente módulo n, o no idénticamente igual.

En teoría de números se escribe a \not\equiv b \pmod{n} cuando n no divide a a - b, por ejemplo en la hipótesis del pequeño teorema de Fermat, a \not\equiv 0 \pmod{p}. El prefijo \not superpone una barra sobre la relación; colócalo justo delante de \equiv. En algunas fuentes la barra parece algo descentrada, pero no hay un glifo específico estándar en las fuentes de símbolos habituales, así que \not\equiv es la opción usual. En lógica significa «no lógicamente equivalente». Para la simple desigualdad, usa \neq.

Ejemplo mínimo compilable

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Not Equivalent: $\not\equiv$

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

Símbolos relacionados

• Equivalencia (triple barra)\equiv
• Cuadrado\square
• Tautología (verum, máximo)\top
• Contradicción (falsum, mínimo)\bot
• Signo «porque»\because
• Signo «por lo tanto»\therefore

Preguntas frecuentes

¿Cómo escribo Signo de no equivalencia en LaTeX?

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

¿Qué paquete necesito para \not\equiv?

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

¿Puedo usar \not\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 $\not\equiv$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ≢ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).