Sinal de não equivalência em LaTeX (\not\equiv)

Onde é usado

Barra tripla cortada: não côngruo módulo n, ou não identicamente igual.

A teoria dos números escreve a \not\equiv b \pmod{n} quando n não divide a - b, por exemplo na hipótese do pequeno teorema de Fermat, a \not\equiv 0 \pmod{p}. O prefixo \not sobrepõe um traço à relação; coloque-o imediatamente antes de \equiv. Em algumas fontes o traço parece um pouco descentralizado, mas não há glifo dedicado padrão nas fontes de símbolos comuns, então \not\equiv é a escolha habitual. Em lógica, significa “não logicamente equivalente”. Para a simples desigualdade, use \neq.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou 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

• Sinal de equivalência\equiv
• Quadrado\square
• Tautologia (verum)\top
• Contradição (falsum)\bot
• Sinal de “porque”\because
• Sinal de “portanto”\therefore

Perguntas frequentes

Como escrever Sinal de não equivalência em LaTeX?

Digite \not\equiv no modo matemático, por exemplo $a \not\equiv 0 \pmod{p} \implies a^{p-1} \equiv 1 \pmod{p}$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \not\equiv?

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

Posso usar \not\equiv no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\not\equiv$. Se você só precisa do glifo no texto, cole o caractere Unicode ≢ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).