⊦
Математический оператор 163
- Unicode
- U+22A6
- Категория
- Математика
- HTML Entity
- ⊦
- CSS
- \22A6
Знак ⊦ (Утверждение) пришел к нам прямиком из сурового мира формальной логики и математики. Этот оператор показывает, что какое-то выражение доказано, выводимо или абсолютно истинно в рамках конкретной системы. В мессенджерах вроде Telegram или VK его вряд ли встретишь, зато в университетских лекциях и технической документации он чувствует себя как дома.
Как набрать
- Windows
- Alt + 8870 (на цифровой клавиатуре)
- macOS
- Control + Command + Space, затем поиск «assertion»
- Linux
- Ctrl + Shift + U, затем 22a6 и Enter
- HTML
- ⊦
В программировании
В теории типов и статьях по Computer Science символ ⊦ часто заменяет слово «выводится». С его помощью описывают правила типизации, чтобы доказать, что кусок кода действительно вернет ожидаемый результат.
Теги
LaTeX символ
U+22A6
assertion
ассершн
вывод
доказуемость
знак доказательства
знак истинности
логика
математика
утверждение
формальная логика символ
юникод