Знак Равенства

Оба эти выражения чаще всего числовые, но могут быть и любыми другими, для которых определено понятие равенства — например, допускаются равенства векторные, логические, текстовые, матричные, тензорные, аналитические, теоретико-множественные и другие.

Знак равенства в современной форме предложил валлийский математик XVI века Роберт Рекорд в своём труде The Whetstone of Witte («Оселок остроумия», 1557). Он обосновал применение двух параллельных штрихов так (орфография оригинала — ранненовоанглийский):

	And to auoide the tediouſe repetition of theſe woordes : is equalle to : I will ſette as I doe often in woorke vſe, a paire of paralleles, or Gemowe lines of one lengthe, thus: =, bicauſe noe .2. thynges, can be moare equalle.		И чтобы избежать утомительного повторения этих слов : является равным : я буду рисовать, как часто делаю в рабочем обиходе, пару параллелей, или линий-близнецов одной длины, таким образом: =, ибо никакие две вещи не могут быть более равными.
The Whetstone of Witte

До этого в античной и средневековой математике равенство обозначалось словесно (например est egale). Как можно видеть на изображении страницы из книги Рекорда, введённый им знак равенства был значительно длиннее современного. В своих более ранних трудах в качестве символа равенства Рекорд использовал букву Z.

 

 

Символ Рекорда получил распространение далеко не сразу. Рене Декарт в XVII веке для обозначения равенства использовал символ æ (от лат. aequalis), а современный знак равенства у него означал, что последующее выражение может быть отрицательным. Франсуа Виет знаком равенства обозначал операцию вычитания. В континентальной Европе знак «=» был введён Лейбницем только на рубеже XVII—XVIII веков, то есть более чем через 100 лет после смерти Роберта Рекорда.

• «≠» — не равно (в программировании обычно используется «!=», «<>» или «#»).
• «≈» — «приблизительно равно». Используется при обозначении двух величин, разницей между которыми в данной задаче можно пренебречь.
• «≃» — используется для обозначения гомеоморфных пространств в топологии.
• «~» — «асимптотически равно», «пропорционально». Иногда используется для обозначения пропорциональности двух величин или подобия в геометрии.
• «≡» — «тождественно равно». Используется для обозначения двух идентичных (равных при любых значениях входящих параметров) выражений. Также для сравнения по модулю.
• «:=» — часто используется для обозначения оператора присваивания, а также, наряду с «≜» и «≝» для равенства по определению.
• «≌» — используется для обозначения конгруэнтных фигур в геометрии и диффеоморфных многообразий в дифференциальной геометрии.
• «≅» — используется при отсутствии полного лексического или стилистического соответствия иноязычного слова или выражения и его русского переводного эквивалента.

В языках программирования символ = чаще всего используется для операций сравнения и/или присваивания. В некоторых языках (например, Basic) символ используется для обеих операций, в зависимости от контекста. В языках C, PHP и т. п. = обозначает присваивание, равенство записывается как ==. В Pascal, напротив, = обозначает равенство, присваивание обозначается :=. В Perl операторы для сравнения строк отличаются от операторов для сравнения чисел, равенство строк проверяет eq.