Negated relations\nvdash

\nvdashSymbol

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

\nvdash

Topic: Negated relations
Available in: ams
Allowed mode: math
Frequency: <0.01% of corpus formulasrank 407 of 474
Glyph: ⊬
Unicode: U+22AC · DOES NOT PROVE

In TeXForm#

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

In Negated relations59

All 59 in Negated relations