# LaTeX \models symbol that goes both ways

Is there a LaTeX symbol for \models that goes both ways? All I need is another vertical line at the end.

• Welcome to TeX.SE! Like here? – marmot Jan 24 at 6:11

Like this?

\documentclass{article}
\newcommand{\mymod}{\models\!\mid}
\begin{document}
$A \mymod B$
\end{document}


Set a new math relation that joins \models and \rvert:

\documentclass{article}

\usepackage{amsmath}
\newcommand{\modelsm}{\mathrel{\models\joinrel\rvert}}

\begin{document}

$A \modelsm B$

\end{document}


It’s in unicode-math, stix and stix2 as \gleichstark. The Unicode symbol ⧦ is U+29E6. The default math font, Latin Modern Math, does not contain it as of January 2019, but many others do.

\documentclass[varwidth, preview]{standalone}
\usepackage{unicode-math}

\defaultfontfeatures{Scale = MatchUppercase}
\setmainfont{STIX Two Text}[Scale=1.0]
\setmathfont{STIX Two Math}

\begin{document}
$$\sigma \gleichstark \tau$$
\end{document}