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

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

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

\documentclass{article}

\begin{document}

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

\end{document}

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

在此处输入图片描述

答案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}

相关内容