# double turnstile

Definition from Wiktionary, the free dictionary

## 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.