Typeset the (logic) turnstile notation
