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