三重旋转闸门符号

Question

我想要一个三杆旋转闸门符号，与单杆\vdash和双杆并列使用\vDash ——一个与 Computer Modern 旋转闸门大小和重量相同的符号：

（综合 LaTeX 符号列表告诉我有一个 stix 版本，但它与 CM 符号并不真正匹配。）

我可以烹制一些几乎可以与|和\equiv和\raisebox等一起制作的东西\tiny。

但我只是想知道是否有人有更好的解决方案！

Answer 1

您可以将两个现有符号 ( \vDdashA) 叠加在一起。如果您想要更好地控制间距，\vDdashB还有另一种可能性（我不知道是否有比使用 更好的方法来获得破折号\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}