Your Collection
Your collection items will appear here.
Up Tack Symbol

Up Tack ⊥

U+22A5 • logic

Up Tack Symbol

Up tack (⊥) is a symbol representing the logical constant 'false' or contradiction in formal logic. It denotes a statement that is always false, used in proofs and logical expressions to indicate inconsistency or contradiction.

The Symbol For Up Tack (⊥) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 1.1 in 1993

logicfalsecontradictionsymbolformal-logicmathematicsconstantnotationproof-theoryfalsity

Copy and paste the Up Tack Symbol

Copy the Up Tack dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.

⊥ Click to copy
  • Full Name: Up Tack
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A5
  • Unicode Version: 1.1
  • Year Added: 1993