⊤

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

Translingual

Symbol

⊤

  1. (logic) tautology
  2. (algebra, logic) Boolean value corresponding to truth
    Synonym: 1
    Antonyms: ⊥, 0
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.