3

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

1
  • 3
    Welcome to TeX.SE! Like here? – user121799 Jan 24 '19 at 6:11
5

Like this?

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

enter image description here

4

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

enter image description here

\documentclass{article}

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

\begin{document}

$A \modelsm B$

\end{document}
1

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}

σ⧦τ

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.