如何反向书写 \models 符号

Question

就是这样。似乎在网上其他地方都找不到，所以我想这可能是有人知道的地方

Answer 1

标准定义\models是

\mathrel{|}\joinrel\Relbar

因此你可以反向执行相同的操作：

\newcommand{\sledom}{\Relbar\joinrel\mathrel{|}}

例子

\documentclass{article}

\newcommand{\sledom}{\Relbar\joinrel\mathrel{|}}

\begin{document}

$M\models \varphi$

$\varphi\sledom M$

\end{document}

综合列表建议使用类似的定义，但我更喜欢使用\Relbar，因为我们可以重新定义它以消除小的间隙（并且这不会干扰的其他用法\Relbar）。

\documentclass{article}

\renewcommand{\Relbar}{\mathrel{\mkern-0.5mu=\mkern-0.5mu}}
\newcommand{\sledom}{\Relbar\joinrel\mathrel{|}}
\MakeRobust{\Relbar}
\MakeRobust{\sledom}

\begin{document}

$M\models \varphi$

$\varphi\sledom M$

\end{document}

Answer 2

另一种选择是turnstile包（文档在这里)，它提供了在上方和下方放置符号的附加选项：

\documentclass{article}

\usepackage{turnstile}

\begin{document}

$\Gamma \sdtstile{}{} P \qquad \Gamma \sdtstile{\mathrm{L}}{x,y} P$

$\Gamma \ndststile{}{} P \qquad \Gamma \ndststile{\mathrm{LC}}{x,y,z,w} P$

\end{document}