Nedovervendt stift

Det angir høyeste verdi: sannhetskonstanten, en tautologi eller største element. I setnings- og predikatlogikk kalles ⊤ for verum (latin for «sannhet») og står for en konstant som er sann under enhver tolkning. I ordningsteori og begrensede gitre angir ⊤ toppelementet som ligger over alle andre elementer. I teoretisk informatikk og typeteori representerer det ofte unit-typen med kun én verdi.

Tegnet består av en vannrett tverrstrek hvilende på en loddrett midtstrek, som en tegnestift pekende nedover. Det danner par med det opp-ned-vendte symbolet ⊥ («bunn» eller falsum), og definerer systemenes øvre og nedre skranker.