Definition from Wiktionary, the free dictionary
Jump to: navigation, search
See also: [U+27C2 PERPENDICULAR] and ˔ [U+02D4 MODIFIER LETTER UP TACK]

Translingual[edit]

Character
Unicode name UP TACK
Code point U+22A5
Unicode block Mathematical Operators
[U+22A4] [U+22A6]

Symbol[edit]

  1. (logic) contradiction
  2. (algebra, logic) Boolean value corresponding to false
  3. (type theory) bottom type

Coordinate terms[edit]

Synonyms[edit]

  • (Boolean falsity): 0

Antonyms[edit]

  • (Boolean falsity): , 1

Japanese[edit]

Symbol[edit]

  1. cemetery