Is there a LaTeX symbol for \models
that goes both ways? All I need is another vertical line at the end.
3 Answers
Like this?
\documentclass{article}
\newcommand{\mymod}{\models\!\mid}
\begin{document}
\[
A \mymod B
\]
\end{document}
Set a new math
rel
ation that join
s \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}