Sou usuário de látex há pelo menos 10 anos e sempre me perguntei por que para escrever $\equiv$usamos "equiv" se o símbolo que aparece geralmente é chamado de símbolo de congruência, e para escrever $\cong$usamos "cong" quando o O símbolo que aparece é o de um isomorfismo que está, na minha opinião, muito mais próximo de uma equivalência.
Tenho certeza de que há um motivo muito bom, mas sempre me perguntei qual é esse motivo. Alguém sabe?
\documentclass{article}
\begin{document}
$ A \cong b \equiv C$
\end{document}
Responder1
Não vejo nenhum elefante e garanto que olhei com muito cuidado.
Responder2
Ambos parecem ser possíveis. DeWikipédia sobre Congruênciaem geometria (todas as ênfases abaixo da minha):
Um símbolo comumente usado paracongruênciaé um símbolo de igual com um til acima dele, ≅, correspondendo ao caractere Unicode 'aproximadamente igual a' (U+2245). No Reino Unido, às vezes é usado o sinal de igual de três barras ≡ (U+2261).
Esobre ≡:
Identidade
O símbolo de barra tripla ≡ (U+2261, LaTeX \equiv) é frequentemente usado para indicar uma identidade, uma definição (que também pode ser representada por U+225D ≝ EQUAL TO BY DEFINITION ou U+2254 ≔ COLON EQUALS), ou umcongruênciarelação em aritmética modular.
Eavançar:
A barra tripla ou tribar, ≡, é um símbolo com múltiplos significados dependentes do contexto, indicandoequivalênciade duas coisas diferentes. Seus principais usos são em matemática e lógica.
...
≡ é usado para a noção metalógica de nível superior de lógicaequivalência, segundo o qual duas fórmulas são logicamente equivalentes quando todos os modelos lhes dão o mesmo valor
...
Na teoria dos números, tem sido usado começando com Carl Friedrich Gauss (que o usou pela primeira vez com este significado em 1801) para significar modularcongruência: a ≡ b (mod N) se N divide a − b
De qualquer forma, se você não gosta dos nomes no LaTeX, você pode alterá-los, conforme mencionado em um comentário. E está fora do assunto do site de qualquer maneira :)