![如何反向书写 \models 符号](https://linux22.com/image/455095/%E5%A6%82%E4%BD%95%E5%8F%8D%E5%90%91%E4%B9%A6%E5%86%99%20%5Cmodels%20%E7%AC%A6%E5%8F%B7.png)
就是这样。似乎在网上其他地方都找不到,所以我想这可能是有人知道的地方
答案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}
答案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}