⊤

From Wiktionary, the free dictionary

Jump to navigation Jump to search

⊤	U+22A4, ⊤ DOWN TACK

← ⊣
[U+22A3]

Mathematical Operators

⊥ →
[U+22A5]

Translingual

Symbol

⊤

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

Synonyms

(Boolean truth): 1

Antonyms

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

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