\modelsThe symbol \models is used in logic to denote that a certain statement or formula is a semantic consequence of a set of axioms or premises. It is often read as 'models' or 'satisfies'.
The theory T semantically entails the formula \phi.
T \models \phiThe natural numbers satisfy the property that adding zero to any number results in the same number.
\mathbb{N} \models \forall x (x + 0 = x)The structure M satisfies the predicate P applied to the element a.
M \models P(a)