⊥

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.
  2. (algebra, logic) A 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
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.