Символ ⊦ (Утверждение): значение, коды и использование
Символ ⊦ (Assertion или «Утверждение», U+22A6) — это математический и логический оператор, который выглядит как прямая вертикальная черта с отходящей вправо короткой горизонтальной линией. В формальной логике и высшей математике этот знак означает, что определенное высказывание является истинным, доказанным или выступает в роли теоремы в рамках заданной аксиоматической системы. По сути, он говорит: «Это факт, и с ним не поспоришь».
Этот лаконичный знак пришел к нам из трудов по математической логике конца XIX — начала XX века. Его популяризировал немецкий математик и философ Готлоб Фреге в своей новаторской работе «Исчисление понятий» (Begriffsschrift) в 1879 году. Фреге использовал похожий знак, который называл «штрихом суждения» (Urteilsstrich). Он ставил его перед формулой, чтобы показать: следующая за ним мысль утверждается как непреложная истина, а не просто рассматривается как гипотеза. Со временем типографика упростилась, и тяжеловесные конструкции Фреге превратились в аккуратный символ, который мы видим сегодня.
В международном стандарте Юникод символ официально прописан под кодом U+22A6 и уютно располагается в блоке «Математические операторы» (Mathematical Operators). Если тебе нужны точные координаты, то в десятичной системе его код — 8870.
Чаще всего ⊦ встречается в академических статьях, суровых учебниках по логике и теории множеств. В программировании и информатике его используют при описании систем типов и формальной верификации кода. А вот в обычных переписках в Telegram, мемах или комментариях VK этот символ — редкий гость. Иногда любители необычной типографики берут его на вооружение для создания текстовых эмодзи (каомодзи) — там он может сойти за странный нос или элемент роботизированного лица. Но из-за своей визуальной строгости он по-прежнему остается сугубо техническим инструментом.
Как напечатать ⊦, если он внезапно понадобился тебе для курсовой по логике или хитрого текста? На стандартной клавиатуре его, конечно, нет, поэтому придется использовать коды. В операционной системе Windows зажми клавишу Alt и набери 8870 на цифровой клавиатуре (numpad). Если ты верстаешь сайт, в HTML-коде страницы можно вставить комбинацию ⊦ или шестнадцатеричный вариант ⊦. На Mac, смартфонах и планшетах проще всего найти этот символ через поиск в интернете и просто скопировать в буфер обмена.
У ⊦ есть несколько близких «родственников», с которыми его очень легко перепутать. Самый известный из них — символ выводимости ⊢ (U+22A2, Right Tack или Turnstile). Визуально они почти братья-близнецы (у ⊢ горизонтальная линия может быть чуть длиннее), но ⊢ чаще обозначает синтаксическое следствие, показывая, что одна формула выводится из другой. Также существует двойной турникет ⊨ (U+22A8), который говорит о семантическом следствии. Разница между ними принципиально важна только для хардкорных логиков, а для большинства интернет-пользователей это просто причудливая «буква Т, упавшая на левый бок».