⊣
Математический оператор 160
- Unicode
- U+22A3
- Категория
- Математика
- HTML Entity
- ⊣
- CSS
- \22A3
Символ ⊣ (известный как «правый кноп» или right tack) пришёл из сурового мира математической логики и теории множеств. В формулах он часто означает обратный вывод или указывает на отсутствие логического следствия, выступая зеркальным отражением левого кнопа (⊢). В соцсетях этот значок — редкий гость, зато в университетских конспектах и сложной технической документации он незаменим.
Как набрать
- Windows
- Alt + 8867
- macOS
- Control + Command + Space, затем поиск "right tack"
- Linux
- Ctrl + Shift + U, затем 22A3
- HTML
- ⊣ или ⊣
В программировании
В языке программирования APL этот символ используется как встроенная функция, которая просто возвращает свой правый аргумент. При верстке математических текстов в LaTeX он выводится с помощью команды \dashv.
Теги
LaTeX символ
U+22A3
left tack
дискретная математика
левый турникет
логика
математика
обратный вывод
оператор
правый кноп
теория вывода
юникод