¬ Знак отрицания: логика, Юникод и скрытые возможности
Знак отрицания (¬) — это математический и логический символ, который означает логическое «НЕ» (инверсию). В булевой алгебре и математической логике он работает как переключатель: если изначальное утверждение было истиной, добавление ¬ делает его ложью, и наоборот. В официальной таблице Юникода этот символ носит название Not Sign.
Символ начал активно использоваться в трудах по логике в начале XX века. Ученым требовался лаконичный и понятный знак, чтобы заменять громоздкие текстовые конструкции вроде «неверно, что...». По своей форме ¬ напоминает перевернутую заглавную букву «Г» или зависший в воздухе минус с небольшим хвостиком, направленным вниз.
В стандарте Юникод знак отрицания живет под кодом U+00AC и относится к блоку «Дополнение к латинице-1» (Latin-1 Supplement). Для быстрой вставки на веб-страницы можно использовать удобную HTML-мнемонику ¬.
Где ты можешь столкнуться с этим символом сегодня? Чаще всего — на парах по дискретной математике (классическая запись ¬A ∨ B). В программировании ¬ используется крайне редко. На заре вычислительной техники этот знак просто не поместился на стандартных клавиатурах, поэтому разработчики стали использовать для отрицания восклицательный знак (!), тильду (~) или ключевое слово not (как в Python).
Зато ¬ отлично знаком копирайтерам и редакторам. Если в Microsoft Word включить отображение скрытых символов форматирования, ¬ покажет места так называемого «мягкого переноса» (soft hyphen). Это скрытая разметка, которая указывает текстовому процессору, где можно безопасно разорвать длинное слово в конце строки.
В соцсетях и мессенджерах вроде Telegram или VK оригинальный знак отрицания используют редко, но его зеркальный брат (⌐) стал настоящей звездой текстовых каомодзи. С его помощью рисуют пистолеты или солнцезащитные очки для мемов в духе «deal with it»: (⌐■_■).
Напечатать ¬ с клавиатуры напрямую не получится, но есть проверенные шорткаты. На Windows зажми левый Alt и набери 0172 на цифровом блоке (Numpad). На устройствах macOS достаточно нажать комбинацию Option + L. В Linux выручает Compose-последовательность: нажми Compose, затем тире (-) и запятую (,). На смартфонах проще всего скопировать символ из интернета или привязать его к автозамене в настройках клавиатуры.
Среди похожих символов стоит выделить уже упомянутые тильду (~) и восклицательный знак (!), которые выполняют функцию отрицания в коде. Визуально ¬ иногда путают с обычным минусом (-), хотя характерный опущенный уголок сразу выдает в нем символ логического отрицания.