\VdashThe symbol \Vdash is used in mathematical logic and set theory to denote that a statement or formula is provable or that a model satisfies a certain property. It is often read as 'forces' or 'is a semantic consequence of'.
A theory T semantically entails the formula \phi.
T \Vdash \phiA model \mathcal{M} satisfies the property \psi.
\mathcal{M} \Vdash \psiThe set of formulas \Gamma semantically entails the set of formulas \Delta.
\Gamma \Vdash \Delta