当我使用 \\ 时,它会破坏分数布局。现在我想出了以下解决方案:
$$\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}
\]