⊢
Математический оператор 159
- Unicode
- U+22A2
- Категория
- Математика
- HTML Entity
- ⊢
- CSS
- \22A2
Знак ⊢ (правый штопор или «турникет») — классический символ из математической логики и информатики. Он обозначает синтаксическую выводимость: запись «A ⊢ B» означает, что утверждение B можно логически вывести из A. В повседневной жизни ты его вряд ли встретишь, но для студентов-технарей и разработчиков это незаменимый знак при написании формальных доказательств и описании сложных систем.
Как набрать
- Windows
- Win + . и поиск «турникет» или Alt+8866
- macOS
- Control+Command+Space, поиск «right tack»
- Linux
- Ctrl+Shift+U, затем 22a2
- HTML
- ⊢ или ⊢
В программировании
В computer science и теории типов знак ⊢ регулярно используется в документации для описания правил типизации (typing judgments). Например, запись «Γ ⊢ x : T» читается как: «в контексте Γ выражение x имеет тип T».
Теги
LaTeX символ
U+22A2
right tack
вывод
выводимость
доказуемо
логика
математика
правый так
правый турникет
синтаксическая выводимость
теория типов
турникет
формальное доказательство
юникод