We can define a consequence relation between a set of formulas and a formula using $\vdash$, we can denote $B$ can be derived from $A_1, ..., A_n$ by $A_1, ..., A_n \vdash B$.
This is a syntactical process, hence we use instead of the semantic counterpart.