double turnstile

Noun

Meaning

English Wikipedia has an article on:double turnstileWikipedia
double turnstile (plural double turnstiles)

(logic, model theory) The ⊨ symbol used to denote semantic consequence, or the



⊨


{\displaystyle \models }

symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.

Close letter words and terms