In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22AA (TRIPLE VERTICAL BAR RIGHT TURNSTILE).
In Relations103
All 103 in RelationsThe ⊪ symbol (Triple vertical bar right turnstile, U+22AA), written as \Vvdash in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22AA (TRIPLE VERTICAL BAR RIGHT TURNSTILE).