Soy usuario de látex desde hace 10 años, y siempre me he preguntado por qué para escribir $\equiv$usamos "equiv" si el símbolo que aparece suele denominarse símbolo de congruencia, y para escribir $\cong$usamos "cong" cuando el El símbolo que aparece es el de un isomorfismo que, en mi opinión, está mucho más cerca de una equivalencia.
Estoy seguro de que hay una muy buena razón, pero siempre me he preguntado cuál es esa razón. ¿Alguien sabe?
\documentclass{article}
\begin{document}
$ A \cong b \equiv C$
\end{document}
Respuesta1
No veo ningún elefante y les aseguro que miré con mucha atención.
Respuesta2
Ambas cosas parecen ser posibles. DeWikipedia sobre congruenciaen geometría (todo el énfasis debajo del mío):
Un símbolo comúnmente utilizado paracongruenciaes un símbolo igual con una tilde encima, ≅, correspondiente al carácter Unicode 'aproximadamente igual a' (U+2245). En el Reino Unido, a veces se utiliza el signo igual de tres barras ≡ (U+2261).
Identidad
El símbolo de barra triple ≡ (U+2261, LaTeX \equiv) se usa a menudo para indicar una identidad, una definición (que también puede representarse por U+225D ≝ IGUAL A POR DEFINICIÓN o U+2254 ≔ DOS DOS IGUAL), o uncongruenciarelación en aritmética modular.
Ymás:
La barra triple o tribar, ≡, es un símbolo con múltiples significados que dependen del contexto que indicanequivalenciade dos cosas diferentes. Sus principales usos son en matemáticas y lógica.
...
≡ se utiliza para la noción metalógica de nivel superior de lógicaequivalencia, según el cual dos fórmulas son lógicamente equivalentes cuando todos los modelos les dan el mismo valor
...
En teoría de números, se ha utilizado a partir de Carl Friedrich Gauss (quien lo utilizó por primera vez con este significado en 1801) para significar modularcongruencia: a ≡ b ( mod N ) si N divide a − b
De todos modos, si no te gustan los nombres en LaTeX, puedes cambiarlos, como se menciona en un comentario. Y de todos modos está fuera de tema para el sitio :)