2

I want a triple-bar turnstile symbol to go alongside the single-bar \vdash and the double-bar \vDash – a symbol the same size and weight as the Computer Modern turnstiles:

enter image description here

(The Comprehensive LaTeX Symbol List tells me there is is a stix version, but it doesn't really match the CM symbols.)

I can cook up something that almost works with | and \equiv and \raisebox and \tiny etc.

But I'm just wondering if someone has a nicer solution out there!

1
  • With "the other Computer Modern symbols" you mean the amssymb symbols? Could you include an image that illustrates what you are looking for?
    – schtandard
    Aug 1, 2019 at 13:31

1 Answer 1

5

You could just superimpose the two present symbols (\vDdashA). If you want more control over the spacing, \vDdashB is another possibility (I don't know if there are better possibilities to get the dash than using a \clipbox).

\documentclass{article}

\usepackage{amssymb}
\usepackage{trimclip} % for \vDdashB

\newcommand*\vDdashA{%
  \mathrel{%
    \ooalign{$\vdash$\cr$\vDash$}%
  }%
}
\def\@clipped@vdash{%
  \raise .6ex\hbox{\clipbox{0pt .6ex 0pt .6ex}{$\vdash$}}%
}
\newcommand*\vDdashB{%
  \mathrel{%
    \ooalign{%
      $\vdash$\cr
      \raise  .3ex\hbox{\@clipped@vdash}\cr
      \raise -.3ex\hbox{\@clipped@vdash}%
    }%
  }%
}

\begin{document}

\(a \vdash b\)

\(a \vDdashA b\)

\(a \vDdashB b\)

\end{document}

MWE output

1
  • The second version is typographically very neat indeed! Aug 2, 2019 at 10:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.