 Since \(\vDash\) and \(\vdash\) express exactly the same relation in this case, model theorists often avoid the double use of \(\vDash\) by using \(\vdash\) for model-theoretic consequence. But since what follows is not confined to first-order languages, safety suggests we stick with \(\vDash\) here.