⊤

⊤	U+22A4, ⊤ DOWN TACK

← ⊣
[U+22A3]

Mathematical Operators

⊥ →
[U+22A5]

Translingual edit

Symbol edit

⊤

(logic) tautology
(algebra, logic) Boolean value corresponding to truth

Synonyms edit

(Boolean truth): 1

Antonyms edit

(antonym(s) of “Boolean truth”): ⊥, 0

Retrieved from "https://en.wiktionary.org/w/index.php?title=⊤&oldid=78816025"