![\vDash 和 \models 但有三条水平线](https://linux22.com/image/443812/%5CvDash%20%E5%92%8C%20%5Cmodels%20%E4%BD%86%E6%9C%89%E4%B8%89%E6%9D%A1%E6%B0%B4%E5%B9%B3%E7%BA%BF.png)
答案1
这turnstile
该软件包是为排版各种旋转栅门配置而设计的,在栅栏的上方和下方带有或不带有文字。
对于你的情况,你想要一个s左侧有一个垂直线,后面跟着一个吨一行水平线,没有文字,所以命令是\sttstile{}{}
:
\documentclass{article}
\usepackage{turnstile}
\begin{document}
\[
\sttstile{}{} K
\]
\end{document}
答案2
答案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}