e/Double turnstile

Information
has gloss	eng: In logic, the symbol \vDash is called the double turnstile. It is closely related to the turnstile symbol, which has a single bar across the middle. It is often read as "models" or "is a semantic consequence of". In TeX, the turnstile symbol \vDash is obtained from the command \vDash.
lexicalization	eng: double turnstile
instance of	c/Mathematical symbols