double turnstile

Noun

 * 1)  The ⊨ symbol used to denote, or the $$\models$$ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.