1 Answers
In logic, the symbol ⊨, ⊧ or ⊨ {\displaystyle \models } is called the double turnstile. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". It is closely related to the turnstile symbol ⊢ {\displaystyle \vdash } , which has a single bar across the middle, and which denotes syntactic consequence.
4 views
Answered