A triple turnstile!

You want a nice triple turnstile which matches in size and weight the usual Computer Modern \vdash and \vDash turnstiles?

Look no further. Here’s the trick, also linked for future reference on the LaTeX for Logicians symbols page.

The post A triple turnstile! appeared first on Logic Matters.