double turnstile

Noun

• The ⊨ symbol used to denote semantic consequence, or the $\backslash models$ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.