double turnstile en · NOUN
Meanings
- (qualifier:model theory) 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
| Spelling | Features | Labels | Source |
|---|---|---|---|
| double turnstiles | Number=Plur | lexicographic |