double turnstile noun1 •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. formsdouble turnstiles
