箭头与旋转栅门之间的间距

Question

箭头与第二个旋转栅门之间的间距明显错误。

\documentclass{article}

\begin{document}

$ \vdash \alpha \to \vdash \beta $

\end{document}

修复该问题的正确方法是什么？

Answer 1

您需要一个 medmuskip（通常添加在二元运算符周围），以便您可以使用\>，但请参阅下面的替代版本。

\documentclass{article}

\begin{document}

$ \vdash \alpha \to \vdash \beta $

$ \vdash \alpha \to {} \vdash \beta $

$ \vdash \alpha \to \> \vdash \beta $

\end{document}

请注意，空的 mathord{}添加的空间是的间距的两倍，a\rightarrow z \rightarrow b但是删除了 z。

原文中缺少空格的原因是，两个相邻的二元运算符被假定为一个“组合”运算符（想想<<），因此它们在左右两侧获得二元运算符空间，但中间没有空间，这不是你想要的。

实际上，如果我猜测语义，也许真正的问题是你没有使用旋转门作为二进制运算符，而是想要一个 mathord 版本，因此

\documentclass{article}

\begin{document}

$ {\vdash} \alpha \to {\vdash} \beta $

%$ \vdash \alpha \to {} \vdash \beta $

%$ \vdash \alpha \to \> \vdash \beta $

\end{document}