Символ ⊯ (Математический оператор 172): значение, код и как набрать

Символ ⊯ (Unicode U+22AF) — это математический знак, официально известный как «перечёркнутый двойной вертикальный штрих с двойным правым турникетом» (Negated Double Vertical Bar Double Right Turnstile). В формальной логике, теории моделей и высшей математике он используется, чтобы показать, что определённое логическое следствие или отношение семантической истинности не выполняется. Если говорить простым языком, это академический способ заявить: «из утверждения А никак не вытекает утверждение Б».

Визуально и исторически ⊯ принадлежит к большому семейству символов-«турникетов» (turnstiles). Самый первый такой знак ⊢ ввёл ещё в 1879 году немецкий логик Готтлоб Фреге. Со временем математикам понадобилось выражать более сложные концепции: так появились версии с двумя горизонтальными или вертикальными чертами (например, ⊨ или ⊫). А чтобы показать отрицание этого действия, символ просто перечеркнули. В стандарте Юникод ⊯ занимает почётное место в блоке «Математические операторы» (Mathematical Operators) под шестнадцатеричным кодом U+22AF.

Где и как используется этот многоэтажный символ? В первую очередь — в суровых научных статьях, учебниках по математической логике и при работе с системами автоматического доказательства теорем (вроде Coq или Lean). В программировании сам символ редко встречается в рабочем коде, но его можно найти в комментариях или LaTeX-документации, где разработчики описывают логику работы сложных алгоритмов.

В повседневном интернете, Telegram-каналах или TikTok знак ⊯ практически не водится. Но никто не мешает тебе использовать его для ироничных постов или текстовых мемов. Хочешь включить режим душнилы и красиво развалить чью-то аргументацию? Пишешь формулу: «твои слова ⊯ реальные факты». Выглядит свежо, научно и заставляет собеседника гуглить незнакомый символ.

Как набрать ⊯ на разных платформах, чтобы не копировать его каждый раз:
В Windows: зажми левый Alt и введи 8879 на цифровом блоке клавиатуры. Если ты работаешь в Microsoft Word, просто набери 22AF и нажми комбинацию Alt + X.
На Mac: открой панель символов (Control + Cmd + Space), перейди в раздел математических знаков или введи код 22AF в строку поиска.
В Linux: нажми Ctrl + Shift + U, введи 22af и нажми пробел.
В HTML или при вёрстке сайтов используй коды ⊯ или ⊯.

У ⊯ есть целая банда родственников по Юникоду. Ближайший — позитивная версия ⊫ (двойной вертикальный штрих с двойным правым турникетом), которая утверждает, что логическое следствие всё-таки работает. Также часто встречаются ⊭ (не истинно) и классический ⊬ (не доказуемо). Главное визуальное отличие ⊯ заключается в двойных линиях на обеих осях, что делает его одним из самых массивных и визуально сложных операторов в логическом арсенале Юникода.