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

Unicode
U+22A4
Категория
Математика
HTML Entity
⊤
CSS
\22A4
Символ ⊤ (в математике и логике известный как «топ» или down tack) обычно обозначает абсолютную истину или тавтологию. В теории решёток им выделяют наибольший элемент множества. Хоть внешне он и похож на обычную заглавную букву Т, этот значок — частый гость сугубо в научных статьях, конспектах и технической документации.

Как набрать

Windows
Alt + 8868
macOS
Control + Command + Space, затем поиск «down tack»
Linux
Ctrl + Shift + U, затем 22A4 и Enter
HTML
⊤ или ⊤

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

В программировании и дискретной математике символ ⊤ часто обозначает логическое значение True (истина). При наборе формул в LaTeX для его вывода используется команда \top.

Теги

LaTeX символ U+22A4 down tack top символ логика верхний элемент истина логика математика наибольший элемент решётка тавтология тавтология символ топ юникод

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