Stor nedåtriktad tack

Det är den stora formen av den vanliga T-formade nedåtriktade tacken ⊤.

I logik kan ⊤ stå för sanning; i gitterteori, som studerar ordnade strukturer, betecknar den det största elementet; i typteori är den en topptyp som godtar alla värden. Programmeringsspråket APL använder ⊤ för tal med blandade baser, där siffrorna kan ha olika baser. Internationella fonetiska alfabetet, en notation för talets ljud, placerar en tack under en symbol för att markera ett sänkt ljud.

Ett förslag från 2001 om fler matematiska symboler listade redan en stor nedåtriktad tack kopplad till den vanliga ⊤.