⊤

⊤ U+22A4, ⊤
DOWN TACK
← ⊣
[U+22A3] 		Mathematical Operators ⊥ →
[U+22A5]

Translingual

Symbol

⊤

  1. (logic) tautology
  2. (algebra, logic) Boolean value corresponding to truth

Synonyms
  • (Boolean truth): 1

Antonyms
  • (antonym(s) of “Boolean truth”): ⊥, 0
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.