# \nvdash

The ⊬ symbol (Does not prove, U+22AC), written as \nvdash in LaTeX math mode.

https://texform.dev/latex/symbols/nvdash

## Metadata

| Field | Value |
| --- | --- |
| Topic | [Negated relations](https://texform.dev/latex/topics/negated-relations) |
| Packages | ams |
| Allowed mode | math |
| Glyph | ⊬ |
| Unicode | U+22AC DOES NOT PROVE |
| Delimiter | No |

## Syntax

```latex
\nvdash
```

Takes no arguments.

## Usage frequency

<0.01% of formulas in the measured corpus contain this entry, rank 407 of 474 entries with frequency data.

## In TeXForm

TeXForm parses this entry as a character leaf mapped to U+22AC (DOES NOT PROVE).