A logical symbol denoting derivability, inference, or formal proof in mathematical logic and proof theory.
Examples
Logical derivation or proof statement
P, Q \vdash P \land Q
Formal system deduction
\Gamma \vdash \phi \rightarrow \psi
Type judgment in type theory
x: A \vdash f(x): B