\vDash 和 \models 但有三条水平线

Question

我正在寻找绘制 \vDash 或 \models 操作符的方法，但使用三条水平线而不是两条。有没有简单的方法可以做到这一点？

它看起来应该是这样的：

谢谢你的帮助！！

Answer 1

这turnstile该软件包是为排版各种旋转栅门配置而设计的，在栅栏的上方和下方带有或不带有文字。

对于你的情况，你想要一个s左侧有一个垂直线，后面跟着一个吨一行水平线，没有文字，所以命令是\sttstile{}{}：

\documentclass{article}

\usepackage{turnstile}

\begin{document}

\[
\sttstile{}{} K
\]

\end{document}

Answer 2

您可以模仿的定义\models，但稍作改变，使下标稍微低一些。

\documentclass{article}
\usepackage{amsmath}

\newcommand{\mmmodels}{\mathrel{|\mkern-3.5mu{\equiv}}}

\begin{document}

\[
\mmmodels_K
\]

\end{document}

Answer 3

稍微延伸一下egreg 的回答可以扩展到所使用的数学风格\mathchoice：

\documentclass{article}

\newcommand{\mmmodels}{%
  \mathrel{
    {|}
    \mathchoice{\mkern -3.5mu}{\mkern -3.5mu}{\mkern -4mu}{\mkern -4.5mu}
    {\equiv}
  }
}

\begin{document}

$a \mmmodels b_{a \mmmodels b_{a \mmmodels b}}$

\end{document}

Answer 4

U+2AE2 垂直杆三重右旋转门 ⫢ 适用\vDdash于unicode-mathlualatex 和 xelatex 或兼容包，例如stix2pdflatex

\documentclass{article}

\usepackage{stix2}

\begin{document}


\[
A \vDdash B
\]

\end{document}