Your Collection
Your collection items will appear here.
Login to download collections
Down Tack Symbol

Down Tack ⊤

U+22A4 • logic

Down Tack Symbol

Down tack (⊤) is a symbol representing the logical constant 'true' or tautology in formal logic. It is used to denote a statement that is always true regardless of interpretation, fundamental in logical expressions and proofs.

The Symbol For Down 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

logictruetautologysymbolformal-logicmathematicsconstantnotationproof-theorytruth

Copy and paste the Down Tack Symbol

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

⊤ Click to copy
  • Full Name: Down Tack
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A4
  • Unicode Version: 1.1
  • Year Added: 1993