double turnstile (English, noun)
expansion: double turnstile (plural double turnstiles)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
qualifier: model theory
glosses: 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.
Forms:
form: double turnstiles
tags: plural