How to use does not prove(⊬) symbol in LaTeX?

Symbol/UnicodeDoes Not Prove/U+22AC
Type of symbolMathematics
Package (requirement)amssymb
Latex command\nvdash
Example\nvdash → ⊬

You need to use the \nvdash command of the amssymb package to write the Does Not Prove symbol in a latex document.

   \[ ABC \nvdash 123 \]
   \[ XYZ \nvdash 456 \]    
   \[ KLK \nvdash 123 \]

Output :

Using Does Not Prove symbol in latex.

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top