⊫
Математический оператор 168
- Unicode
- U+22AB
- Категория
- Математика
- HTML Entity
- ⊫
- CSS
- \22AB
Символ ⊫ (двойная вертикальная черта с двойным правым турникетом) — это математический оператор из теории множеств и формальной логики. Учёные используют его для обозначения строгих логических следствий или отношения «форсинга» (вынуждения). В обычных переписках ты его вряд ли встретишь, но для оформления сложных академических формул это незаменимый типографический знак.
Как набрать
- Windows
- 22AB затем Alt + X (в Word) или Win + . и поиск
- macOS
- Control + Command + Space, затем поиск по коду U+22AB
- Linux
- Ctrl + Shift + U, затем 22ab и Enter
- HTML
- ⊫ или ⊫
В программировании
В системах автоматического доказательства теорем и спецификациях ПО знак ⊫ описывает строгую семантическую выводимость. Разработчики часто используют его в академических статьях по компьютерной логике для визуализации алгоритмов.
Теги
unicode математика
вынуждение
двойная вертикальная черта турникет
двойной турникет
двойной турникет символ
знак логики
логика
математика
математический оператор
семантика
семантическое следствие
скопировать символ
теория множеств
формальная логика символ
форсинг