Negated relations\nvDash

\nvDashSymbol

The ⊭ symbol (Not true, U+22AD), written as \nvDash in LaTeX math mode.

\nvDash

Topic: Negated relations
Available in: ams
Allowed mode: math
Frequency: <0.01% of corpus formulasrank 394 of 474
Glyph: ⊭
Unicode: U+22AD · NOT TRUE

In TeXForm#

TeXForm parses this entry as a character leaf mapped to U+22AD (NOT TRUE).

In Negated relations59

All 59 in Negated relations