\implies 和 \Longrightarrow 可能存在错误 - 中间有一个点

Question

我在 Mac OSX 10.6.8 上使用 TeXShop 2.43 和最新的 LaTeX 版本之一（几周前我进行了更新）。我的长暗示箭头在顶部或底部线上有一个点（见附图）。这种情况发生在\Longrightarrow、\implies和 上\Longleftarrow。较短的箭头没有这个点。这种情况发生在所有字体大小上。

这是一个已知问题吗？我在 Google 上搜索过，也在这里搜索过，但一无所获。也许是我的系统或 LaTeX 版本出了问题？在 TeXShop 的“首选项 - 排版”下，它显示默认脚本是 PDFTeX。

如果我没有在这里提供足够的信息，我很抱歉，因为我对 TeX 的幕后知识不太了解。

Answer 1

这本身并不是一个错误。标准 TeX 数学字体没有针对这些长箭头的专用字形，因此它们由相应的短箭头和可扩展部分构建而成。

对于由各种字形组合而成的符号，各部分之间必须有最小的重叠，以避免因舍入而可能出现的间隙，而您看到的是重叠部分被渲染两次（作为每侧的一部分）的结果。还请注意，这只会影响在线查看，但如果您对此感到担心，打印应该没问题。

如果其他数学字体为这些特定符号提供专用的字形，它们可能不会有问题，但我暂时不知道此类字体（STIX 字体有这些符号，但它们的 LaTeX 支持尚未推出）。对于 LuaTeX 或 XeTeX 等现代 TeX 引擎，OpenType 数学字体为长箭头和许多类似符号提供专用的字形，这些符号仅在传统 TeX 设置中构建。

Answer 2

您看到的是查看器优化的结果。“长”箭头由两个字符组成，在交汇点处可能会出现“平滑”算法故障。

关闭平滑功能或最大程度缩放应该会使这种影响消失。

在最高分辨率下查看时，您会发现符号本身非常光滑，因此这显然是查看器的错误。