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

Assertion ⊦

U+22A6 • logic

Assertion Symbol

Assertion (⊦) is a symbol used in logic and proof theory to indicate that a formula or statement is derivable or provable from a set of premises. It marks the assertion of a proposition within formal systems and sequent calculus.

The Symbol For Assertion (⊦) 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

logicproof-theoryassertionprovabilitysymbolformal-proofsderivabilitymathematicsnotationsyntax

Copy and paste the Assertion Symbol

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

⊦ Click to copy
  • Full Name: Assertion
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22A6
  • Unicode Version: 1.1
  • Year Added: 1993