I'm looking for way to draw the \vDash or the \models operator but with three horizontal lines instead of just two. Is there an easy way to do this?
It should look something like this:
Thanks for any help!!
math-modemath-operatorsrelation-symbolssymbols
Best Answer
The
turnstile
package is designed for typesetting various configurations of turnstiles with or without text above and below the bar.For your case, you want a single vertical bar on the left followed by a triple horizontal bar, and no text, so the command is
\sttstile{}{}
: