⊨

Symbol

 * 1)  models, satisfies
 * $$\mathbf{V}_\omega \models \mathsf{ZFC^{fin}}$$
 * 1)  semantic consequence
 * $$T \models \varphi$$ if and only if $$T \vdash \varphi$$