Double turnstile

In logic, the symbol ⊨, $\vDash$ or $\models$ is called the double turnstile. It is closely related to the turnstile symbol $\vdash$ , which has a single bar across the middle. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". In TeX, the turnstile symbols $\vDash$ and $\models$ are obtained from the commands \vDash and \models respectively. In Unicode it is encoded at U+22A8⊨TRUE (HTML ⊨)

单词	Double turnstile
释义	Double turnstile 英语百科 Double turnstile In logic, the symbol ⊨, $\vDash$ or $\models$ is called the double turnstile. It is closely related to the turnstile symbol $\vdash$ , which has a single bar across the middle. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". In TeX, the turnstile symbols $\vDash$ and $\models$ are obtained from the commands `\vDash` and `\models` respectively. In Unicode it is encoded at U+22A8⊨TRUE (HTML `⊨`)
随便看	ariway conductance arix Arixenina Arixtra Ariya Ariyalur Ariyalūr ariyama Ariyoshi Sawako ariyular Ariz Ariz. Ariza Arizaro, Salar de Arize arizelum Arizgoiti arizing Arizmendi Arizola Arizona ash arizona ashes Arizona Bacteria Arizona Cardinals arizonacin