⊯
Математический оператор 172
- Unicode
- U+22AF
- Категория
- Математика
- HTML Entity
- ⊯
- CSS
- \22AF
В математической логике символ ⊯ означает «не форсирует» или отсутствие семантического следствия. Это прямое отрицание знака ⊩, с помощью которого логики показывают, что одна модель доказывает истинность другой. В повседневных переписках этот оператор тебе вряд ли пригодится, но для написания сложных научных статей по теории множеств или формальной логике он просто незаменим.
Как набрать
- Windows
- Win + . и поиск, либо Alt + 22AF (включив поддержку Hex на Numpad)
- macOS
- Control + Command + Space, затем поиск по запросу «negative double dash»
- Linux
- Ctrl + Shift + U, затем ввести 22af и нажать Enter
- HTML
- ⊯ или ⊯
В программировании
В системах академической вёрстки, таких как LaTeX, для вывода этого символа используется макрос \nVdash. В программировании знак встречается редко, в основном при разработке логических анализаторов и систем автоматического доказательства теорем.
Теги
unicode математика
логика
логический оператор скопировать
математика
научный символ
не форсирует символ
отрицание
отрицание знака форсинга
отсутствие семантического следствия
теория множеств
формальная логика