Символ ≜: что значит «равно по определению» и как его использовать
Символ ≜ (Delta Equal To, или «равно по определению») — это математический знак, который показывает, что левая часть выражения равна правой просто потому, что мы так договорились. В математике, логике и программировании он используется, чтобы ввести новую переменную, формулу или понятие, а не для доказательства вычисленного тождества. Грубо говоря, это способ сказать: «Пусть отныне X означает Y».
Визуально ≜ представляет собой стандартный знак равенства, над которым расположился маленький треугольник — заглавная греческая буква дельта (Δ). В точных науках дельта часто обозначает разницу или изменение, но в комбинации с «равно» она превращается в маркер определения. Ученые и логики начали активно использовать такие модифицированные знаки в XX веке, чтобы избавиться от путаницы. Ведь обычное «=» мы применяем, когда констатируем факт (например, 2 + 2 = 4), а ≜ нужен в момент создания правила.
В официальной таблице Юникода этот символ носит имя DELTA EQUAL TO. Он имеет шестнадцатеричный код U+225C и находится в блоке «Математические операторы» (Mathematical Operators).
Где ты можешь его встретить? В первую очередь, в конспектах по вышмату, физике или криптографии. Если препод пишет на доске формулу с ≜, он просит тебя принять ее как данность для текущей задачи. В программировании и computer science символ часто проскакивает в академических статьях и псевдокоде как оператор присваивания. А вот в повседневном общении в Telegram или TikTok ≜ используют редко. Зато он отлично подходит для создания эстетичных никнеймов или ироничных постов в стиле: «Мое настроение на сегодня ≜ лежать на диване».
Чтобы напечатать ≜, придется немного постараться. На смартфонах iOS и Android его нет на стандартной клавиатуре — быстрее всего просто скопировать его из интернета. Если ты сидишь за Windows, открой Word, введи 225C и нажми Alt + X. На Mac вызывай панель спецсимволов сочетанием клавиш Cmd + Ctrl + Пробел и вбивай в поиск «delta». Любители LaTeX могут вызвать этот знак командой \triangleq. А для веб-верстки используй HTML-код ≜ или ≜.
У нашего героя есть несколько близких родственников, которые делают примерно то же самое. Символ := — абсолютная классика для обозначения присваивания в программировании (привет, язык Go и Pascal). Знак ≡ (тождественно равно, U+2261) показывает, что две вещи равны при любых возможных условиях. А символ ≝ (равно по определению, U+225D) несет абсолютно тот же смысл, что и ≜, только вместо треугольника использует прямолинейную надпись «def». Выбирай тот, который больше нравится твоему внутреннему перфекционисту.