| 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 :
