Wednesday, March 20, 2013

Formal Logic Symbols

\models  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" or "is a semantic consequence of".

No comments: