Double turnstile

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 (in contrast to semantic).