⊮
Математический оператор 171
- Unicode
- U+22AE
- Категория
- Математика
- HTML Entity
- ⊮
- CSS
- \22AE
Символ ⊮ (Does Not Force) пришел из высшей математики и формальной логики, где означает «не принуждает» или «не влечет за собой». Он показывает, что определенный набор базовых условий или аксиом не делает конкретное утверждение автоматически истинным. В обычных мессенджерах ты этот знак вряд ли встретишь, а вот при оформлении научных статей или хардкорных конспектов по теории множеств он незаменим.
Как набрать
- Windows
- В Word: введи 22AE и нажми Alt + X
- macOS
- Control + Command + Space, затем поиск «does not force»
- Linux
- Ctrl + Shift + U, затем 22ae и Enter
- HTML
- ⊮ или ⊮
В программировании
Чаще всего символ применяется при верстке сложных математических доказательств и научных текстов с использованием LaTeX (где он вызывается командой \nVdash) или MathML. В стандартном коде прикладных программ он не несет логической нагрузки.
Теги
does not force
unicode оператор
аксиомы логика
логика
математика
математический оператор скопировать
не влечёт автоматически
не вынуждает
не форсирует
отрицание
отрицание форсинга
теория множеств логика
формальная логика знак