turnstile – Typeset the (logic) turnstile notation

Among other uses, the turn­stile sign is used by lo­gi­cians for de­not­ing a con­se­quence re­la­tion, re­lated to a given logic, be­tween a col­lec­tion of for­mu­las and a de­rived for­mula.