Double turnstile

English

Noun

1. Template:Lb The ⊨ symbol used to denote Template:W, 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.