Великий символ «верх» (великий нижній знак-так)

Те саме, що й ⊤, тільки намальоване більшим.

Звичайний ⊤, який читають як «топ» або «верх», має кілька усталених ролей. У логіці це верум, твердження, що завжди істинне. У теорії порядку й теорії ґраток, які вивчають елементи, впорядковані від меншого до більшого, він позначає найбільший елемент, що стоїть над усіма іншими. У теорії типів і проєктуванні мов програмування це верхній тип, до якого належить будь-яке значення. Його перевернутий партнер ⊥, «низ», означає хибність або найменший елемент.

Англійська назва tack (кнопка-цвях) іде від форми: шпилька вістрям донизу, з пласкою голівкою вгорі. ⟙ і його дзеркальна пара ⟘ стоять поруч з іншими великими операторами, щоб ці знаки можна було показати великими у винесених формулах; значення йде від ⊤ і ⊥, а не від розміру.