\vDash and \models but with three horizontal lines

math-modemath-operatorsrelation-symbolssymbols

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:
enter image description here

Thanks for any help!!

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{}{}:

\documentclass{article}

\usepackage{turnstile}

\begin{document}

\[
\sttstile{}{} K
\]

\end{document}

Image of output from above code

Related Question