In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22AF (NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE).
\nVDashSymbol
The ⊯ symbol (Negated double vertical bar double right turnstile, U+22AF), written as \nVDash in LaTeX math mode.