Double ratchet symbol in Latex

Double ratchet symbol in Latex

$$\vDash$$
\vDash
To be able to use the \vDash you need to have the library or package >> amssymb
Double ratchet symbol in Latex \vDash