double turnstile

English

Noun

double turnstile (plural double turnstiles)

1. (logic, model theory) The ⊨ symbol used to denote semantic consequence, or the $\models$ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.