数学排版

公式语法取 Typst 一系：函数式、少反斜杠；字体是 AMS Euler 的开源承继 Euler Math，度量在构建期预编译进引擎，排版不需要任何运行时字体测量。

行内与显示

行内公式随文断行——在关系号与运算号处可以得体地分段，如 $x_1 + x_2 + x_3 <= sum_(k=1)^n abs(x_k)$ 。独占一段、前后各空一行的 $ … $ 是显示公式，行尾挂 <标签> 即获得编号：

行内：勾股定理 $a^2 + b^2 = c^2$ 随文排布。

$ int_(-oo)^oo e^(-x^2) d x = sqrt(pi) $ <gauss>

引用它：如@gauss所示。

$ int_(-oo)^oo e^(-x^2) d x = sqrt(pi) $

如式 (1)所示，编号渲染在右缘，引用为 式 (n)。

上下标：x_1、e^(i pi) → $e^(i pi) + 1 = 0$
分数与根式：(a+b)/2、sqrt(x) → $x = (-b +- sqrt(b^2 - 4 a c))/(2 a)$
求和积分极限：sum_(k=1)^n、lim_(n -> oo) → $lim_(n -> oo) (1 + 1/n)^n = e$
组合数与阶乘：binom(n, k) → $binom(n, k) = n!/(k! (n - k)!)$
重音：hat(f)、vec(v)、bar(x) → $hat(f)$ 、 $vec(v)$ 、 $bar(x)$
黑板体与量词：NN ZZ QQ RR CC、forall exists → $forall epsilon > 0, exists delta > 0$

大型定界符与根号按内容高度自适应拉伸；显示公式里 sum、int 的上下限置于上下方，行内则取侧标位置。