☰

反向双转闸

tag-icon • tag-icon math-mode symbols math-operators logic turnstile
反向双转闸

我是这个软件包的新手turnstile，我正在试图弄清楚如何获得一个否定的双旋转门标志，就像带有常规的标志一样\nvDash，但这允许我在线上方和下方有参数，就像一样\sdtstile{\mathrm{a}}{b}。

有任何想法吗？

答案1

由于旋转闸门的尺寸较大，因此最好的选择是使用cancel包裹。这是一个最小的例子：

在此处输入图片描述

\documentclass{article}
\usepackage{turnstile}% http://ctan.org/pkg/turnstile
\usepackage{cancel}% http://ctan.org/pkg/cancel
\begin{document}
$\sdtstile{\mathrm{a}}{b}$ \quad
$\cancel{\sdtstile{\mathrm{a}}{b}}$ \quad
$\bcancel{\sdtstile{\mathrm{a}}{b}}$
\end{document}

\cancel覆盖打印 SW-NE 线，而\bcancel(backwards/backslash) 覆盖打印 NW-SE 线。如您所见，它会打印线条以匹配内容宽度。因此，如果您希望线条稍微倾斜一些，您可以在旋转栅门周围添加一些空间。但是，我不确定确切的内容是什么，以及周围是否有其他物体会受到间距的影响。

相关内容