U+22A4, ⊤
(LaTeX: \top)
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

  • (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.