☰

如果分数是内部原子，为什么它们两边没有薄的空间？

tag-icon • tag-icon math-mode spacing fractions
如果分数是内部原子，为什么它们两边没有薄的空间？

这电子书说分数是内原子。但如果是这样，它们似乎没有内原子那样两侧有细小的空间。例如，在

\documentclass{article}

\usepackage{amsmath}

\begin{document}
\[
a\frac{b}{c}d
\qquad 
a{\frac{b}{c}}d
\qquad 
a\mathinner{\frac{b}{c}}d
\]
\end{document}

我看到第三个分数（我明确将其设为内部原子）周围的空间比第一个分数周围的空间大，而第二个分数（我明确将其设为 Ord 原子）周围的空间与第一个分数周围的空间相同。发生了什么？

amsmath如果我使用不带或任何其他软件包的普通 LaTeX 2e ，或者如果我在带有的普通 TeX 中执行此操作{b\over c}，我会得到不同的结果吗？

答案1

我们来尝试一个简单的情况：

\showboxdepth=1000 \showboxbreadth=1000
$
x{a\over b}x
{a\overwithdelims()b}x
\mathinner{a\over b}x
\showlists$

\bye

日志文件中的输出是

### math mode entered at line 2
\mathord
.\fam1 x
\mathord
.\fraction, thickness = default
.\\mathord
.\.\fam1 a
./\mathord
./.\fam1 b
\mathord
.\fam1 x
\mathord
.\fraction, thickness = default, left-delimiter "28300, right-delimiter "29301
.\\mathord
.\.\fam1 a
./\mathord
./.\fam1 b
\mathord
.\fam1 x
\mathinner
.\fraction, thickness = default
.\\mathord
.\.\fam1 a
./\mathord
./.\fam1 b
\mathord
.\fam1 x
### horizontal mode entered at line 2
\hbox(0.0+0.0)x20.0
spacefactor 1000
### vertical mode entered at line 0
prevdepth ignored

很明显，\mathord除非在的参数中，否则分数会变成原子\mathinner。

更简单

$a\over b\showlists$

生产

### math mode entered at line 2
\mathord
.\fam1 b
this will be denominator of:
\fraction, thickness = default
\\mathord
\.\fam1 a
### horizontal mode entered at line 2
\hbox(0.0+0.0)x20.0
spacefactor 1000
### vertical mode entered at line 0
prevdepth ignored

确实，TeXbook 明确指出分数被视为内部原子；在tex.web模块 761中案件切换数学列表的第二遍

分数​*不* ：开始*t* ← *内部*​​诺德 ；s←分数​​*不*​​尺寸 ；
    结尾

这应该意味着 TeXbook 中想要表达的意思。另一方面，很明显分数被视为 Ord 原子。

但这似乎正是预期的意思。以下是摘录texbook.tex（对应于第 60 页）；在输出中，分数前没有设置细空格。

3510 just after a new magnification has taken effect. This adjusts the line width
3511 so that the material on each page will be $6{1\over2}$ inches wide when it
3512 is finally printed, regardless of the magnification factor.
3513 There will be an inch of margin at both left and right,
3514 assuming that the paper is $8{1\over2}$ inches wide.

在此处输入图片描述

答案2

这是 2021 年调整中的一项变化：记录分数（除了最简单的不涉及任何群体的情况）被视为 Ord 原子，而不是 Inner。这是由 Sophie Alpert 报告的。tex.web 的一个相关小变化列在https://tug.org/texmfbug/tuneup21bugs.html#C956...

相关内容