Stor nedoverrettet tack (stort topp-symbol)

Det samme som ⊤, bare tegnet større.

Den vanlige ⊤, uttalt «topp», har noen faste oppgaver. I logikk er den verum, utsagnet som alltid er sant. I ordens- og gitterteori, som studerer elementer ordnet fra minst til størst, betegner den det største elementet, som ligger over alle andre. I typeteori og design av programmeringsspråk er den topptypen, som enhver verdi hører til. Den omvendte partneren ⊥, «bunn», betyr usann eller det minste elementet.

Det engelske navnet «tack» (tegnestift) beskriver formen: en stift som peker nedover, med det flate hodet øverst. ⟙ og speilbildet ⟘ står blant andre store operatorer, slik at tegnene kan vises stort i frittstående formler; betydningen kommer fra ⊤ og ⊥, ikke fra størrelsen.