4

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

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

Like this?

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

enter image description here

5

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}
2

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.