Negated relations\nVdash

\nVdashSymbol

The ⊮ symbol (Does not force, U+22AE), written as \nVdash in LaTeX math mode.

\nVdash

Topic: Negated relations
Available in: ams
Allowed mode: math
Frequency: <0.01% of corpus formulasrank 420 of 474
Glyph: ⊮
Unicode: U+22AE · DOES NOT FORCE

In TeXForm#

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

In Negated relations59

All 59 in Negated relations