Grote neerwaartse tack

Het is de grote vorm van de gewone T-vormige neerwaartse tack ⊤.

In de logica kan ⊤ voor waarheid staan; in de roostertheorie, die geordende structuren bestudeert, duidt het het grootste element aan; in de typentheorie is het een toptype dat alle waarden accepteert. De programmeertaal APL gebruikt ⊤ voor getallen met gemengde grondtallen, waarvan de cijfers verschillende grondtallen kunnen hebben. Het Internationaal Fonetisch Alfabet, een notatie voor spraakklanken, zet een tack onder een symbool om een lagere klank aan te geven.

Een voorstel voor extra wiskundige symbolen uit 2001 vermeldde al een grote neerwaartse tack die aan de gewone ⊤ was gekoppeld.