⊥

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) A contradiction; a truth value corresponding to false.
2. (algebra) The bottom element of a lattice.
3. (type theory) The bottom type of a type system.
4. (computing, dated) The ISO 2047 symbol for Start of Text.

Synonyms

• (logic, algebra): 0

Antonyms

• (antonym(s) of "logic"): ⊤, 1

Coordinate terms

• ⊦, ⊧, ⊨, ⫫