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 :