⊥

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, algebra”): ⊤, 1

Coordinate terms
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.