TeXipedia
Find LaTeX symbols fast

A logical relation symbol representing semantic entailment or model-theoretic satisfaction in mathematical logic.

\vDash image