TeX 子公式格式问题

Question 1

看起来答案如下：

该问题（在 TeX 原始程序中已经存在）尚未被包括 LuaTeX 在内的任何 TeX 后继者解决或处理。

LuaTeX 确实可以替代全部数学处理由私有代码完成，但这更像是“拆掉房子再建新房”，并没有真正保证。毕竟 TeX 的算法在大多数方面都非常棒。很遗憾，但也许可以理解，因为它需要拆开数学格式化程序的处理逻辑并重新组织它，才能改进其中的一小部分。

Answer

看起来答案如下：

该问题（在 TeX 原始程序中已经存在）尚未被包括 LuaTeX 在内的任何 TeX 后继者解决或处理。

LuaTeX 确实可以替代全部数学处理由私有代码完成，但这更像是“拆掉房子再建新房”，并没有真正保证。毕竟 TeX 的算法在大多数方面都非常棒。很遗憾，但也许可以理解，因为它需要拆开数学格式化程序的处理逻辑并重新组织它，才能改进其中的一小部分。

Question 2

这是一个老问题，但我偶然发现了它，我认为现在可能有办法让它发挥作用，使用 luametatex 引擎*. 这是通过拆箱来完成的。（这不适用于平方根、分数或下标/上标。）我们首先看一下图片。

这里，

只需设置即可\hbox{word word $a + {\bf b + c} + \left(d + e\right) + f + \sqrt{g + h} + \frac{a + b}{c + d} = \sum_{i=1}^{n-x-y-z} x_{i+j}$ word word}。
设置为\hbox spread 4cm {word word $a + {\bf b + c} + \left(d + e\right) + f + \sqrt{g + h} + \frac{a + b}{c + d} = \sum_{i=1}^{n-x-y-z} x_{i+j}$ word word}。请注意，扩展在粗体部分不起作用。但它在围栏部分内起作用。如上所述，它不适用于平方根、分数或指数。
设置为\hbox spread 4cm {word word $a + \mathatom unpack \mathordinarycode {\bf b + c} + \left(d + e\right) + f + \sqrt{g + h} + \frac{a + b}{c + d} = \sum_{i=1}^{n-x-y-z} x_{i+j}$ word word}。因此，粗体部分也会被展开。它被解包，然后被打包为一个 ord。
设置为\hbox spread 4cm{word word $a + \mathbf{b + c} + \left(d + e\right) + f + \sqrt{g + h} + \frac{a + b}{c + d} = \sum_{i=1}^{n-x-y-z} x_{i+j}$ word word}。这表明解包和重新打包是在中完成的\mathbf。
设置为\hbox spread -2cm{word word $a + \mathbf{b + c} + \left(d + e\right) + f + \sqrt{g + h} + \frac{a + b}{c + d} = \sum_{i=1}^{n-x-y-z} x_{i+j}$ word word}。我们看到东西也可以打包在一起。
设置为\hbox spread 4cm{word word $a + \mathatom unpack leftclass \mathordinarycode rightclass \mathbinarycode {\bf c + d} + \left(d + e\right) + f + \sqrt{g + h} + \frac{a + b}{c + d} = \sum_{i=1}^{n-x-y-z} x_{i+j}$ word word}。这不是我们想要的，但它表明，当我们重新打包时，我们可以说盒子在左边和右边的行为应该有所不同。在其他情况下可能有用。在这里，表现得像一个二进制的右边，使加号变成一个 ord，并且那里的间距是错误的。

拆包和重新打包的一个好处是，可以有多行公式，这些公式会在围栏内中断。示例（改编自这个老问题)：

此公式设置为

\defineformula[XYZ][
  split=text,
  textalign=slanted,
  spaceinbetween=.5\lineheight,
  strut=yes,
  distance=1em,
]

\startXYZformula[margin=3em]
s_{i}^{G}
=
\min 
\left\{
    \sqrt{
        \min\left[(x_{i}^{G} - x)^2, (w_{T} - x_{i}^{G} - x)^2\right] + y
        }
    ,\breakhere
    \sqrt{
        \min\left[(x_{i}^{G} - x)^2, (w_{T} - x_{i}^{G} - x)^2\right] 
        + 
        \min\left[(y_{i}^{G} - y)^2, (h_{T} - y_{i}^{G} - y)^2\right]
        }
\right\}
\stopXYZformula

*事实上，\mathbf{b + c}在 luatex 上下文中也可以工作。但解包机制是 luametatex 中的新机制。我没有安装 mkii，所以我不知道它是否也在 pdftex 上下文中工作。

Answer