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