\VvdashThe symbol \Vvdash is used in mathematical logic to denote a double turnstile, which represents semantic entailment or logical consequence. It is often used in formal proofs to indicate that a particular statement is a logical consequence of a set of axioms or premises.
Statement C is a logical consequence of the set of statements A and B.
\{ A, B \} \Vvdash CThe formula \phi is semantically entailed by the set of formulas \Gamma.
\Gamma \Vvdash \phiThe statement that for all x, P(x) implies Q(x) is a logical consequence of the axioms.
\Vvdash \forall x (P(x) \rightarrow Q(x))