☰

映射符号的奇数（？）间距

tag-icon • tag-icon math-mode spacing
映射符号的奇数（？）间距

我最近在 MSE 上写了一个涉及映射的答案f\colon\mathbb{R^+}\to\mathbb{R^+}；输出看起来有点不同，因此我认为它可能与 MathJax 有关，但是当我使用常规 LaTeX 生成映射时也会发生同样的事情：

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\begin{document}
\begin{enumerate}
    \item$f\colon\mathbb{R^+}\to\mathbb{R^+}$
    \item$f\colon\mathbb{R^+}\to\;\mathbb{R^+}$
    \item$f\colon\mathbb{R^+}\!\!\to\mathbb{R^+}$
\end{enumerate}
\end{document}

生产

在此处输入图片描述

在我看来，(1) 在间距方面看起来有点奇怪（箭头似乎离第一个太远了R^+），但 (2) 和 (3) 怎么样？在我看来，(2) 看起来最好，但可能空间有点太多，而 (3) 看起来太紧凑了。

也许这只是我对字体设计不太熟悉——你们觉得 (1) 是不是有点“奇怪”或“不对劲”，还是我说错了？另外，(2) 或 (3) 有什么特别好或特别坏的地方吗？

答案1

alignat下面是我用来将箭头垂直对齐（前两行）的比较；第三行应用了负字距。

在此处输入图片描述

在右栏中，我使用发线表明两种情况下的间距实际上完全相同。

差异是由符号形状产生的视觉错觉：+ 上有一个“洞”，似乎留下了比实际使用更大的空间。

在这种情况下，\!通常是最简单、最有效的方法。

这是生成示例的代码。

\documentclass{article}
\usepackage{amsmath}

\begin{document}
\begin{alignat*}{2}
R^+&\to &\qquad R^{+\smash{\vrule width 0.1pt height 1ex depth 5ex}}&\to \\
R^2&\to &\qquad R^2&\to \\
R^+&\!\to
\end{alignat*}

\end{document}

如果我们在箭头后添加一个符号，我们会看到它\!很好地发挥作用：

在此处输入图片描述

这是通过 获得的R^+\!\to R^+。情况类似于输入，例如x^2/2，其中 a\!给出更好的结果：比较

\[
x^2/2 \qquad x^2\!/2
\]

在此处输入图片描述

固化这些细节可极大地提高文档的印刷质量。

相关内容