How to use 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.

\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