Definition, synonyms and related words
The ⊨ symbol used to denote semantic consequence, or the ⊨ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.