See also: [U+27C2 PERPENDICULAR], ˔ [U+02D4 MODIFIER LETTER UP TACK], [U+4E04 CJK UNIFIED IDEOGRAPH-4E04], and [U+26FC HEADSTONE GRAVEYARD SYMBOL]
Up tack.svg
U+22A5, ⊥
UP TACK

[U+22A4]
Mathematical Operators
[U+22A6]

TranslingualEdit

SymbolEdit

  1. (logic) contradiction
  2. (algebra, logic) Boolean value corresponding to false
  3. (type theory) Bottom type
  4. (computing, dated) ISO 2047 symbol for Start of Text

SynonymsEdit

  • (Boolean falsity): 0

AntonymsEdit

  • (Boolean falsity): , 1

Coordinate termsEdit