Template:Vdash
From The Twelf Project
⊦
This template renders the turnstile (latex \vdash) symbol, with workarounds for Internet Explorer. Use it by typing {{vdash}} in an article.
| This article or section needs more testing on versions of internet explorer. some systems have different behavior. any tips?. |
