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