⊩
Математический оператор 166
- Unicode
- U+22A9
- Категория
- Математика
- HTML Entity
- ⊩
- CSS
- \22A9
Символ ⊩ (U+22A9) — это математический оператор, который в логике и теории множеств обозначает отношение форсинга (переводится как «вынуждает» или «форсирует»). Визуально он состоит из одной вертикальной черты и двух горизонтальных, отходящих вправо. В основном ты встретишь этот знак в сложных академических статьях, работах по высшей математике или документах LaTeX. В обычных переписках или соцсетях его используют редко — разве что как необычный маркер для списка или элемент текстового арта.
Как набрать
- Windows
- Win+. затем переход в раздел математических символов, либо ввод 22A9 с последующим нажатием Alt+X (работает в Word)
- macOS
- Control+Command+Space, затем переход в категорию «Математические символы»
- Linux
- Ctrl+Shift+U, затем 22a9 и Enter
- HTML
- ⊩ или ⊩
В программировании
В системах математической верстки (например, LaTeX) символ выводится командой \Vdash, а в языках для автоматического доказательства теорем (Coq, Agda) применяется для описания логического вывода и форсинга.
Теги
LaTeX символ
U+22A9
forces
академический символ
вынуждает
логика
математика
математика высшая
семантика
теория множеств символ
форсинг
форсирует
юникод