像 \models 一样显示 \vdash

Question

\models我更喜欢使用\vDash，但我找不到\vdash与 大小相同的替代符号\models。我在这里找了找，但没有找到任何东西。当我排版以下内容时：

\documentclass{article}
\usepackage{amssymb}

\begin{document}
    $\models\vDash\vdash$
\end{document}

我得到这个结果：

我怎样才能使\vdash符号的大小与 相同\models？

Answer 1

您可以定义\model具有相同结构的命令\models：

\DeclareRobustCommand\model{\mathrel{|}\joinrel\mkern-.5mu\mathrel{-}}

梅威瑟：

\documentclass{article}

\DeclareRobustCommand\model{\mathrel{|}\joinrel\mkern-.5mu\mathrel{-}}

\begin{document}

\[\models\model\]

\end{document} 

\modelsPS中的定义fontmath.ltx是

\DeclareRobustCommand\models{\mathrel{|}\joinrel\mathrel{=}}