Open main menu
U+22A4, ⊤
(LaTeX: \top)
DOWN TACK

[U+22A3]
Mathematical Operators
[U+22A5]

TranslingualEdit

SymbolEdit

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

SynonymsEdit

  • (Boolean truth): 1

AntonymsEdit

  • (Boolean truth): , 0