Футболка (символ)

Футболка (⊤, \ topв LaTeX,), также называемый нижней закрепкой (в отличие от верхней закрепки ) или verum - это символ , используемый для представляют:

• верхний элемент в теории решетки.
• значение истинности истинности в логике или предложение (например, формула в исчислении высказываний ), что безусловно верно. По определению, каждая тавтология логически эквивалентна истинному.
• верхний тип в теории типов.
• смешанный основание кодирование на языке программирования APL.

Аналогично выглядящий верхний индекс T может использоваться для обозначения транспонирования матрицы.

В Unicode символ тройника кодируется как U + 22A4 ⊤ DOWN TACK (HTML ⊤·⊤, ⊤). Символ кодируется в LaTeX как \ top.

• Turnstile (⊢)
• Up tack (⊥)
• Falsum
• Список логических символов
• Список математических символов