Знак конгруэнтности

Знак конгруэнтности, ≅, — тот самый глиф, который учителя математики рисуют, когда две фигуры конгруэнтны, то есть идентичны и по форме, и по размеру. Вот в чём странность: Unicode называет его иначе. Официальное название символа (U+2245) — «APPROXIMATELY EQUAL TO» («приблизительно равно»), и это название вообще не упоминает конгруэнтность, хотя ≅ — именно тот глиф, к которому обращаются классы геометрии по всему миру. Символ читается как две идеи, наложенные друг на друга — приближение ≈ поверх равенства =, — и он находится в тесном соседстве легко путаемых родственников. ≈ (U+2248, ALMOST EQUAL TO) означает «приблизительно», тот, что используют для π ≈ 3.14. ≡ (U+2261, IDENTICAL TO) означает нечто более сильное — тождество, а в теории чисел это знак конгруэнтности в модулярной арифметике, как в «17 ≡ 2 (mod 5)». Три символа, три задачи, все построены из наложенных горизонтальных штрихов, и все регулярно набираются один вместо другого. Эта страница помогает не путать их и позволяет скопировать именно тот, что нужен.