LaTeX \models 双向符号

Question

有没有双向的 LaTeX 符号\models？我需要的只是末尾的另一条垂直线。

Answer 1

像这样？

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

Answer 2

设置一个新的math relsjoin和\models：\rvert

\documentclass{article}

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

\begin{document}

$A \modelsm B$

\end{document}

Answer 3

它在 中unicode-math，stix并且stix2作为\gleichstark。Unicode 符号 ⧦ 为 U+29E6。截至 2019 年 1 月，默认数学字体 Latin Modern Math 不包含它，但许多其他字体包含它。

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