# double turnstile

## English[edit]

### Noun[edit]

**double turnstile** (*plural* **double turnstiles**)

- (logic, 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.