Does Not Prove(⊬) symbol in LaTeX

Symbol/Unicode Does Not Prove/U+22AC
Type of symbol Mathematics
Package (requirement) amssymb
Argument No
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 *