Stor nedadgående tack

Det er den store form af den almindelige T-formede nedadgående tack ⊤.

I logik kan ⊤ stå for sandhed; i gitterteori, som undersøger ordnede strukturer, betegner den det største element; i typeteori er den en top-type, der accepterer alle værdier. Programmeringssproget APL bruger ⊤ til tal med blandede grundtal, hvor cifrene kan bruge forskellige grundtal. Det Internationale Fonetiske Alfabet, en notation for talelyde, sætter en tack under et symbol for at markere en sænket lyd.

Et forslag fra 2001 om flere matematiske symboler opførte allerede en stor nedadgående tack, der var knyttet til den almindelige ⊤.