⊨
Математический оператор 165
- Unicode
- U+22A8
- Категория
- Математика
- HTML Entity
- ⊨
- CSS
- \22A8
Символ ⊨ (двойной турникет) пришел к нам из математической логики и обозначает семантическое следствие или истинность утверждения. В формулах он показывает, что из одной части выражения логически вытекает другая, или что конкретная модель удовлетворяет заданной теории. В повседневных чатах этот значок вряд ли пригодится, а вот в конспектах по дискретной математике без него никуда.
Как набрать
- Windows
- 22A8, затем Alt+X (в MS Word) или Win + . и поиск по символам
- macOS
- Control + Command + Space, затем поиск «models»
- Linux
- Ctrl+Shift+U, затем 22A8 и Enter
- HTML
- ⊧ или ⊨
В программировании
В популярных языках программирования символ напрямую не используется, но в системе компьютерной верстки LaTeX для его вывода применяется команда \models. Также знак часто встречается в документации к системам автоматического доказательства теорем (например, Coq или Lean).
Теги
LaTeX символ
U+22A8
double turnstile
выполняет
дискретная математика
знак следствия логика
истинно
логика
математика
модель
семантическое следствие
теория моделей
юникод