⊥

See also: ⟂ [U+27C2 PERPENDICULAR], ˔ [U+02D4 MODIFIER LETTER UP TACK], 丄 [U+4E04 CJK UNIFIED IDEOGRAPH-4E04], and ⛼ [U+26FC HEADSTONE GRAVEYARD SYMBOL]

⊥ U+22A5, ⊥ UP TACK ← ⊤ [U+22A4] Mathematical Operators ⊦ → [U+22A6]

Translingual

Symbol

⊥

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

Synonyms

• (Boolean falsity): 0

Antonyms

• (Boolean falsity): ⊤, 1

Coordinate terms

• ⊦, ⊧, ⊨, ⫫