⊪
Математический оператор 167
- Unicode
- U+22AA
- Категория
- Математика
- HTML Entity
- ⊪
- CSS
- \22AA
Символ ⊪ (тройной турникет) — это специфический математический оператор, состоящий из трех вертикальных и одной горизонтальной черты. В математической логике и теории множеств он используется для обозначения сложных отношений выводимости или форсинга в формальных системах. За пределами научных статей ты вряд ли его встретишь, но в интернете он иногда мелькает как элемент абстрактного текстового арта.
Как набрать
- Windows
- Alt + 8874 (на цифровой клавиатуре)
- macOS
- Control + Command + Space, затем поиск по запросу 'triple vertical bar'
- Linux
- Ctrl + Shift + U, затем 22aa и Enter
- HTML
- ⊪
В программировании
В системах верстки научных текстов (например, в LaTeX) этот символ вызывается командой \Vvdash из пакета amssymb и применяется при написании многоуровневых логических формул.
Теги
LaTeX символ
U+22AA
triple turnstile
вывод
логика
математика
математика логика символ
текстовый арт
тройная черта
тройной турникет
форсинг символ
юникод