Template:Vdash

From The Twelf Project
Jump to: navigation, search

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?.