Definify.com

Definition 2024

⊤

⊤

⊤	U+22A4, ⊤ (LaTeX: `\top`) DOWN TACK

← ⊣
[U+22A3]

Mathematical Operators

⊥ →
[U+22A5]

Translingual

Symbol

⊤

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

Synonyms

(Boolean truth): 1

Antonyms

(Boolean truth): ⊥, 0