Символ ⊫ (Двойной турникет): Загадочный математический оператор
Символ ⊫ (Double Vertical Bar Double Right Turnstile, или двойная вертикальная черта с двойным правым турникетом) — это специализированный математический знак, который используется в формальной логике и теории множеств. Он обозначает семантическое следствие или отношение форсинга (вынуждения) в сложных математических моделях. Простыми словами, этот символ показывает, что из одного набора утверждений логически и абсолютно неоспоримо вытекает другое.
Изначально концепция «турникета» (знака, похожего на перевернутую набок букву Т или механический турникет в метро) появилась в трудах математика Готлоба Фреге в конце XIX века. Фреге нужен был знак, чтобы утверждать истинность выражения. Знак ⊫ — это «прокачанная» версия базового турникета (⊢). Удвоенные линии добавляют строгости: обычно они указывают на то, что определенная математическая модель вынуждает истинность какого-то утверждения. Эту концепцию форсинга придумал Пол Коэн в 1960-х годах, чтобы доказать сложные вещи о бесконечностях.
В официальной таблице Юникода этот знак прописан в блоке «Математические операторы» (Mathematical Operators). Его шестнадцатеричный код — U+22AB. Иногда в локальных базах и классификаторах он может проходить под внутренними номерами (например, как математический оператор 168), но для операционных систем его главный идентификатор — это именно Юникод-координата.
В повседневной переписке в Telegram, VK или TikTok встретить ⊫ практически нереально. Разве что ты общаешься в чате студентов-математиков перед жестким экзаменом по логике. Иногда любители текстовых эмодзи (каомодзи) берут подобные редкие символы, чтобы собирать из них абстрактные рисунки, ведь ⊫ выглядит как стилизованная пушка или футуристическая деталь. В программировании (особенно в языках проверки доказательств, таких как Coq) символ живет в научных статьях и технической документации.
Как набрать ⊫ на клавиатуре, если отдельной кнопки для него нет? Держи несколько рабочих способов:
На Windows: в текстовом редакторе (например, Word) введи 22AB и сразу нажми комбинацию Alt + X. Знак трансформируется в нужный оператор.
На Mac: открывай панель «Эмодзи и символы» сочетанием Control + Cmd + Space, вбивай в поиск слово «Turnstile» и выбирай нашего героя с двойными линиями.
В вебе (HTML): используй код ⊫ или ⊫.
Самый быстрый вариант — просто скопировать ⊫ из этого текста и вставить куда нужно.
В мире Юникода у ⊫ есть целая банда похожих родственников, которых легко перепутать:
⊢ (U+22A2) — классический одинарный правый турникет (обозначает синтаксическое следствие или выводимость).
⊨ (U+22A8) — двойной турникет (семантическое следствие). У него двойная горизонтальная, но одинарная вертикальная черта.
⊩ (U+22A9) — знак форсинга. Выглядит почти так же, но вертикальная линия одна.
Для обычного человека разницы никакой, но для логиков каждая дополнительная черточка меняет смысл всего уравнения!