Equivalenza in LaTeX (\equiv)

Dove si usa

Relazione a tre barre che significa identicamente uguale, congruente modulo n o logicamente equivalente.

La teoria dei numeri scrive a \equiv b \pmod{n} per la congruenza, l'analisi scrive f \equiv 0 per dire che una funzione si annulla ovunque, e la logica lo usa per l'equivalenza logica tra formule. Abbinatelo a \pmod{n} per il modulo tra parentesi o a \bmod per la forma binaria a \bmod n. È distinto da \cong (isomorfismo o congruenza geometrica) e da \triangleq o := (definizioni), anche se alcuni autori lo usano pure per le definizioni. Negatelo con \not\equiv. In fisica \equiv introduce spesso un'abbreviazione: \omega \equiv 2\pi f.

Compare anche in: Logica e dimostrazioni, Teoria dei numeri, Informatica

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Proporzionalità\propto
• Circa uguale (approssimazione)\approx
• Simbolo di similitudine\sim
• Simbolo di diverso\neq
• Simbolo di congruenza\cong
• Maggiore o uguale\geq

Domande frequenti

Come si scrive Equivalenza in LaTeX?

Scrivi \equiv in modalità matematica, per esempio $a^{p-1} \equiv 1 \pmod{p}$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \equiv?

Nessuno. \equiv fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \equiv in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\equiv$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ≡ (con XeLaTeX o LuaLaTeX e un font che lo contenga).