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 `⊨`)
随便看	concentric reducer的意思 concentric resonanter的意思 concentric resonantor的意思 concentric resonator的意思 concentric rib的意思 concentric ring的意思 concentric ring blotch of citrus的意思 concentric ring pattern的意思 concentric rings的意思 concentric ring structures的意思 concentric ring tripod的意思 concentric rotating disc type artificial lung的意思 concentric scale的意思 Concentric sclerosis的意思 Concentric Sclerosis,Balo的意思 concentric sclerosis of Balo的意思 concentric screen的意思 concentric shaft reduction gear的意思 concentric sheath core fiber的意思 concentric sheathcore fiber的意思 concentric sheathcore fibre的意思 concentric sheath core fibre的意思 concentric sign的意思 concentric slip ring的意思 Concentric spheres的意思