Formal Logic Symbols

  double turnstile
In logic, the symbol  or  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 "entails", "models" or "is a semantic consequence of".