$\models$ 反之亦然，语义上等价

Question

如何使$\models$-symbol 反之亦然，以形成语义等同的符号，如下所示：=||=

Answer 1

\models在标准字体中是一个虚构的符号

\DeclareRobustCommand
  \models{\mathrel{|}\joinrel\Relbar}

因此你可以进行匹配组合：

\documentclass{article}


%\DeclareRobustCommand
%  \models{\mathrel{|}\joinrel\Relbar}
\DeclareRobustCommand
  \sledommodels{\Relbar\joinrel\mathrel{\|}\joinrel\Relbar}

\begin{document}

\[A \models B\]
\[A \sledommodels B\]

\end{document}

Answer 2

如果您处于仅限 LaTeX 的环境中（例如 MathJax），请考虑以下事项：

\newcommand{\rmodels}{\ensuremath{\mathrel{=\!\!\!|}}}

例如，语义等价可以如下所示：

\newcommand{\semeq}{\ensuremath\mathrel{\rmodels\!\models}}}

结果（pdflatex）：

根据您的惯例，\models\rmodels可能是您想要的：