⊬
Математический оператор 169
- Unicode
- U+22AC
- Категория
- Математика
- HTML Entity
- ⊬
- CSS
- \22AC
Символ ⊬ (перечёркнутый турникет или штопор) в математической логике означает «не доказывает» или «не выводимо». Это логическое отрицание знака ⊢ — если ты видишь его в формуле, значит, из левой части никак не следует правая. В обычных переписках и соцсетях этот знак почти не встретишь, так как он остаётся профессиональной фишкой математиков и авторов научных статей.
Как набрать
- Windows
- Alt + 8876 или Win + .
- macOS
- Control + Command + Space, затем поиск "does not prove"
- Linux
- Ctrl + Shift + U, затем 22AC
- HTML
- ⊬ или ⊬
В программировании
Чаще всего встречается в системах вёрстки научных текстов вроде LaTeX (вызывается командой \nvdash) для описания теорем и логических парадоксов. В исходном коде языков программирования этот символ не используют.
Теги
unicode логика
знак не доказывает
логика
логическое отрицание
математика
математическая логика
не выводимо
не доказуемо
не доказуемо символ
отрицание
отрицание турникета
перечёркнутый турникет
скопировать математический знак
формальная логика