From Wiktionary, the free dictionary
Jump to navigation Jump to search
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]
English Wikipedia has an article on:
Wikipedia

Translingual

[edit]

Symbol

[edit]

  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

[edit]
  • (logic, algebra): 0

Antonyms

[edit]
  • (antonym(s) of logic, algebra): , 1

Coordinate terms

[edit]