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

Symbol/UnicodeDoes Not Prove/U+22AC
Type of symbolMathematics
Package (requirement)amssymb
ArgumentNo
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.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
   \[ ABC \nvdash 123 \]
   \[ XYZ \nvdash 456 \]    
   \[ KLK \nvdash 123 \]
\end{document}

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