在代码块部分使用中文好像不太对劲

[ice1000]

\[
    \cfrac{
    % {\Gvdash\isType{(A\times B)}} \quad
     \Gvdash u:A\times B}
    {\Gvdash u.1:A \quad \text{以及} \quad \Gvdash u.2:B} \\
\]

渲染出来不太对劲：

感觉下面部分被砍了一刀。

[abccsss]

这应该只有等 katex 修复，不过应该有办法不用 \cfrac 实现这个效果。

[abccsss]

和 #7 是同样的原理，在那边继续讨论吧。

[abccsss]

似乎并不是同样的原理，#7 已解决，但这个问题还是存在。

[ice1000]

我觉得就是给的高度不够🧐