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

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

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

$$\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

您可以使用alignedamsmath

\[
\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} 
\]

相关内容