[Tex/LaTex] Display \vdash like \models

fontsizesymbols

I prefer to use \models over \vDash, but I cannot find an alternative symbol for \vdash that has the same size as \models. I've looked around here, but I did not manage to find anything. When I typeset the following:

\documentclass{article}
\usepackage{amssymb}

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

I get this result:
\models\vDash\vdash

How can I make the \vdash symbol the same size as \models?

Best Answer

You can define a \model command which has the same structure of \models:

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

enter image description here

MWE:

\documentclass{article}

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

\begin{document}

\[\models\model\]

\end{document}

P.S. The definition of \models in fontmath.ltx is

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