Математический оператор 162

Unicode
U+22A5
Категория
Математика
HTML Entity
⊥
CSS
\22A5
Символ ⊥ (перпендикуляр или «перевёрнутая Т») пришёл к нам из математики и формальной логики. На уроках геометрии ты наверняка использовал его, чтобы показать пересечение прямых под прямым углом, а в логике он обозначает ложь или абсурд. В интернете этот значок часто заимствуют для создания текстовой графики (ASCII-арта) и сложных японских каомодзи.

Как набрать

Windows
Введи 22A5, затем нажми Alt + X (в Word) или нажми Win + . и найди через поиск
macOS
Control + Cmd + Space, затем поиск по запросу «up tack»
Linux
Ctrl + Shift + U, затем 22A5 и Enter
HTML
⊥ или ⊥

В программировании

В теории типов (например, в Haskell) и логике ⊥ обозначает «дно» (bottom) — невыполнимое условие или тип, не имеющий значений. В LaTeX для его вывода используются команды \perp (для геометрии) и \bot (для логики).

Теги

ASCII арт LaTeX символ U+22A5 up tack геометрия перпендикуляр знак прямого угла каомодзи логика ложь математика ортогональность перевёрнутая Т перпендикуляр символ лжи

Похожие символы