\dashvThe symbol \dashv is used to denote that a statement or proposition is a syntactic consequence of a set of axioms or premises. It is often used in logic to indicate that a particular formula can be derived from a set of formulas.
Indicates that B is a consequence of A in a logical system.
A \dashv BThe formula \phi is derivable from the set of formulas \Gamma.
\Gamma \dashv \phiThe statement C is a consequence of the set of statements A and B.
\{A, B\} \dashv C