☰

如何在分数的分子中放入几条线？

tag-icon • tag-icon math-mode fractions
如何在分数的分子中放入几条线？

当我使用 \\ 时，它会破坏分数布局。现在我想出了以下解决方案：

$$\frac{{O\vdash e_1:T_1 \atop O[T_1/x]\vdash e_2:T_2}}{O\vdash (let\ ((x e_1))\ e_2):T_2}$$

但是它给出了两行较小的字体，而我需要它们三行都是相同大小。

更新：

还需要在分数的分子中放置两条以上（三条或四条）的线。

答案1

您可以使用aligned“amsmath

\[
\frac{\begin{aligned}
      O&\vdash e_1:T_1 \\ O[T_1/x]&\vdash e_2:T_2
      \end{aligned}}%
  {O\vdash (let\ ((x e_1))\ e_2):T_2}
\]

（您的问题突然结束，所以可能还有更多我不知道的规格。）

如果您希望这些线居中，那么使用gathered而不是aligned（并省略&s）。

aligned和都gathered可以容纳任意数量的行，甚至超过四行，尽管在我看来这可能太复杂了。

请记住，基线仍然相对于数学轴（与分数规则一致），因此所有额外的线将继续高于显示的其余表达式，并且如果表达式的该部分在括号中，则括号将在线下方空白，不美观。

答案2

mathtools 包提供了一个适当的命令，我很快会给出一个例子

[更新}

以下是 Manuel 发布的答案：\splitfrac{〈numer〉}{〈denom〉} 就是您想要的。然后：

\[
   \frac{\splitfrac{O \vdash e_1 : T_1}{O[T_1/x] \vdash e_2 : T_2}}
   {O \vdash (let\ ((x e_1)) \ e_2) : T_2} 
\]

相关内容