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