⊭
Математический оператор 170
- Unicode
- U+22AD
- Категория
- Математика
- HTML Entity
- ⊭
- CSS
- \22AD
Символ ⊭ (перечёркнутый двойной турникет) пришёл к нам из формальной логики и означает «не истинно» или «не влечёт логически». Математики используют его, чтобы показать, что какое-то утверждение не вытекает из заданных условий, или модель не удовлетворяет формуле. В обычных чатах ты его вряд ли встретишь, зато в университетских конспектах по дискретке он частый гость.
Как набрать
- Windows
- Win + . затем поиск, или 22AD + Alt+X (в MS Word)
- macOS
- Control + Command + Space затем поиск «not true»
- Linux
- Ctrl + Shift + U затем 22AD
- HTML
- ⊭ или ⊭
В программировании
В исходном коде программ напрямую не встречается, но активно используется в LaTeX (через команду \nvDash) при написании статей по семантике языков программирования и формальной верификации.
Теги
unicode математический оператор
дискретная математика
логика
логика символ скопировать
математика
не влечёт логически
не истинно
не удовлетворяет формуле
отрицание
отрицание семантики
перечёркнутый двойной турникет
теория моделей
формальная логика символ