Я пользуюсь латексом уже около 10 лет и всегда задавался вопросом, почему при написании $\equiv$мы используем «equiv», если появляющийся символ обычно называют символом конгруэнтности, а при написании $\cong$мы используем «cong», когда появляющийся символ является символом изоморфизма, который, по моему мнению, гораздо ближе к эквивалентности.
Я уверен, что есть очень веская причина, но мне всегда было интересно, что это за причина. Кто-нибудь знает?
\documentclass{article}
\begin{document}
$ A \cong b \equiv C$
\end{document}
решение1
Я не вижу никакого слона, хотя, уверяю вас, я смотрел очень внимательно.
решение2
Оба варианта кажутся возможными.Википедия о конгруэнтностипо геометрии (все выделения ниже моих):
Символ, обычно используемый дляконгруэнтность— это символ равенства с тильдой над ним, ≅, соответствующий символу Unicode «приблизительно равно» (U+2245). В Великобритании иногда используется трехполосный знак равенства ≡ (U+2261).
Ио ≡:
Личность
Символ тройной черты ≡ (U+2261, LaTeX \equiv) часто используется для обозначения идентичности, определения (которое также может быть представлено как U+225D ≝ РАВНО ПО ОПРЕДЕЛЕНИЮ или U+2254 ≔ ДВОЕТОЧИЕ РАВНО) иликонгруэнтностьотношение в модульной арифметике.
Идальше:
Тройная черта или трибар, ≡, — это символ с несколькими контекстно-зависимыми значениями, указывающийэквивалентностьдвух разных вещей. Его основные применения в математике и логике.
...
≡ используется для металогического понятия более высокого уровня логическогоэквивалентность, согласно которому две формулы логически эквивалентны, когда все модели дают им одинаковое значение
...
В теории чисел он использовался, начиная с Карла Фридриха Гаусса (который впервые использовал его в этом значении в 1801 году) для обозначения модульногоконгруэнтность: a ≡ b ( mod N ), если N делит a − b
В любом случае, если вам не нравятся имена в LaTeX, вы можете их изменить, как указано в комментарии. И это в любом случае не по теме сайта :)