Your Collection
Your collection items will appear here.
Login to download collections
Does Not Prove Symbol

Does Not Prove ⊬

U+22AC • logic

Does Not Prove Symbol

Does not prove (⊬) is a symbol used in logic to indicate that a formula is not derivable or provable from a given set of premises. It negates the assertion of provability, marking failure of derivation in formal systems.

The Symbol For Does Not Prove (⊬) 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-theorynon-provabilitysymbolderivabilitynegationmathematicsnotationformal-proofssyntax

Copy and paste the Does Not Prove Symbol

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

⊬ Click to copy
  • Full Name: Does Not Prove
  • Plane: Basic Multilingual Plane
  • Block: Mathematical Operators
  • Unicode: U+22AC
  • Unicode Version: 1.1
  • Year Added: 1993