Sinal de equivalência em LaTeX (\equiv)

Onde é usado

Relação de três traços que significa identicamente igual, congruente módulo n ou logicamente equivalente.

A teoria dos números escreve a \equiv b \pmod{n} para a congruência, a análise escreve f \equiv 0 para dizer que uma função se anula em todo ponto e a lógica o usa para a equivalência lógica de fórmulas. Combine-o com \pmod{n} para o módulo entre parênteses ou com \bmod para a forma binária a \bmod n. Ele é diferente de \cong (isomorfismo ou congruência geométrica) e de \triangleq ou := (definições), embora alguns autores também o usem para definições. Negue-o com \not\equiv. Em física, \equiv costuma introduzir uma abreviação: \omega \equiv 2\pi f.

Também aparece em: Lógica e Provas, Teoria dos Números, Ciência da Computação

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
Equivalent: $\equiv$

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

Símbolos relacionados

• Sinal de proporcionalidade\propto
• Aproximadamente igual\approx
• Sinal de semelhança (til)\sim
• Sinal de diferente\neq
• Sinal de congruência\cong
• Maior ou igual\geq

Perguntas frequentes

Como escrever Sinal de equivalência em LaTeX?

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

Qual pacote é necessário para \equiv?

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

Posso usar \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 $\equiv$. Se você só precisa do glifo no texto, cole o caractere Unicode ≡ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).