Gallery

The 81 formulas of the paired corpus, each written in Typst and in LaTeX to compare renderers, as Typlet renders them. Typlet refuses 2, which use features it doesn't support.

Basics

Typst	Typlet
$a+b^2 - x_(i,j)^2$	$𝑎 + 𝑏^{2} - 𝑥_{𝑖, 𝑗}^{2}$
$e^(i pi)+1=0$	$𝑒^{𝑖 𝜋} + 1 = 0$
$f'(x) + f''(x) + g'''$	$𝑓^{'} (𝑥) + 𝑓^{″} (𝑥) + 𝑔^{‴}$
$ x = (-b plus.minus sqrt(b^2-4a c))/(2a) $	$𝑥 = \frac{- 𝑏 \pm \sqrt{𝑏^{2} - 4 𝑎 𝑐}}{2 𝑎}$
$α+β=γ$	$𝛼 + 𝛽 = 𝛾$

Fractions

Typst	Typlet
$ 1/(1+1/(1+1/x)) $	$\frac{1}{1 + \frac{1}{1 + \frac{1}{𝑥}}}$
$ display(1/(1+display(1/(1+display(1/x))))) $	$\frac{1}{1 + \frac{1}{1 + \frac{1}{𝑥}}}$
$binom(n, k) = (n!)/(k!(n-k)!)$	$(\binom{𝑛}{𝑘}) = \frac{𝑛!}{𝑘! (𝑛 - 𝑘)!}$
$root(3, x+1) + sqrt(sqrt(sqrt(x)))$	$\sqrt[3]{𝑥 + 1} + \sqrt{\sqrt{\sqrt{𝑥}}}$
$ (partial^2 u)/(partial t^2) = c^2 nabla^2 u $	$\frac{𝜕^{2} 𝑢}{𝜕 𝑡^{2}} = 𝑐^{2} \nabla^{2} 𝑢$

Big operators

Typst	Typlet
$ sum_(i=1)^n i^2 = (n(n+1)(2n+1))/6 $	$\sum_{𝑖 = 1}^{𝑛} 𝑖^{2} = \frac{𝑛 (𝑛 + 1) (2 𝑛 + 1)}{6}$
$ integral_0^infinity e^(-x^2) dif x = sqrt(pi)/2 $	$\int_{0}^{\infty} 𝑒^{- 𝑥^{2}} d 𝑥 = \frac{\sqrt{𝜋}}{2}$
$ integral.cont_C arrow(F) dot dif arrow(r) $	$\oint_{𝐶} \vec{𝐹} \cdot d \vec{𝑟}$
$ integral.triple_V f dif V $	$∭_{𝑉} 𝑓 d 𝑉$
$ product_(p "prime") 1/(1-p^(-s)) $	$\prod_{𝑝 prime} \frac{1}{1 - 𝑝^{- 𝑠}}$
$ lim_(n -> infinity) (1+1/n)^n = e $	$lim_{𝑛 \to \infty} {(1 + \frac{1}{𝑛})}^{𝑛} = 𝑒$
$ sum_(0<i<m \ 0<j<n) P(i,j) $	$\sum_{\begin{matrix} 0 < 𝑖 < 𝑚 \\ 0 < 𝑗 < 𝑛 \end{matrix}} 𝑃 (𝑖, 𝑗)$
$ attach(limits(sum), tl: b, bl: a, tr: d, br: c) $	${}_{𝑎}^{𝑏}\sum_{𝑐}^{𝑑}$
$ integral.surf_S bold(E) dot dif bold(A) $	$∯_{𝑆} 𝑬 \cdot d 𝑨$

Delimiters

Typst	Typlet
$ (a/b)^2 [sum_i x_i] $	${(\frac{𝑎}{𝑏})}^{2} [\sum_{𝑖} 𝑥_{𝑖}]$
$ lr(chevron.l psi/2 mid(\|) H mid(\|) phi chevron.r) $	$⟨ \frac{𝜓}{2} \| 𝐻 \| 𝜑 ⟩$
$lr(size: #120%, ( lr(size: #150%, ( lr(size: #190%, ( lr(size: #240%, (x)) )) )) ))$	$((((𝑥))))$
$floor(x) + ceil(y)$	$⌊ 𝑥 ⌋ + ⌈ 𝑦 ⌉$
$norm(bold(v)) <= abs(x) + abs(y)$	$‖ 𝒗 ‖ \leq \| 𝑥 \| + \| 𝑦 \|$
$chevron.l phi\|psi chevron.r$	$⟨ 𝜑 \| 𝜓 ⟩$
$ lr(zws (dif f)/(dif x) \|)_(x=0) $	${\frac{d 𝑓}{d 𝑥} \|}_{𝑥 = 0}$

Matrices

Typst	Typlet
$ mat(a, b; c, d) $	$(\begin{matrix} 𝑎 & 𝑏 \\ 𝑐 & 𝑑 \end{matrix})$
$ mat(delim: "[", 1,0,dots.c,0; 0,1,dots.c,0; dots.v,dots.v,dots.down,dots.v; 0,0,dots.c,1) $	$[\begin{matrix} 1 & 0 & \dots & 0 \\ 0 & 1 & \dots & 0 \\ ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & 1 \end{matrix}]$
$ det mat(delim: "\|", a, b; c, d) = a d - b c $	$det \| \begin{matrix} 𝑎 & 𝑏 \\ 𝑐 & 𝑑 \end{matrix} \| = 𝑎 𝑑 - 𝑏 𝑐$
$ vec(x, y, z) $	$(\begin{matrix} 𝑥 \\ 𝑦 \\ 𝑧 \end{matrix})$
$ mat(augment: #2, 1, 2, 3; 4, 5, 6) $	$(\begin{matrix} 1 & 2 & 3 \\ 4 & 5 & 6 \end{matrix})$
$ mat(delim: #none, augment: #(hline: 1, vline: 1), a, b; c, d) $	$\begin{matrix} 𝑎 & 𝑏 \\ 𝑐 & 𝑑 \end{matrix}$
$script(mat(a, b; c, d))$	$(\begin{matrix} 𝑎 & 𝑏 \\ 𝑐 & 𝑑 \end{matrix})$
$ f(x) = cases(x^2 & x >= 0, -x & x < 0) $	$𝑓 (𝑥) = {\begin{cases} 𝑥^{2} & 𝑥 \geq 0 \\ - 𝑥 & 𝑥 < 0 \end{cases}$
$ cases(reverse: #true, a & x>0, b & x<0) => c $	$\begin{cases} 𝑎 & 𝑥 > 0 \\ 𝑏 & 𝑥 < 0 \end{cases}} \Rightarrow 𝑐$

Alignment

Typst	Typlet
$ (a+b)^2 &= (a+b)(a+b) \ &= a^2 + 2a b + b^2 $	$\begin{aligned} {(𝑎 + 𝑏)}^{2} & = (𝑎 + 𝑏) (𝑎 + 𝑏) \\ = 𝑎^{2} + 2 𝑎 𝑏 + 𝑏^{2} \end{aligned}$
$ a = b + c \ d = e $	$\begin{matrix} 𝑎 = 𝑏 + 𝑐 \\ 𝑑 = 𝑒 \end{matrix}$
$ 10 & x + & 3 & y = 2 \ 3 & x + & 13 & y = 4 $	$\begin{aligned} 10 & 𝑥 + & 3 & 𝑦 = 2 \\ 3 & 𝑥 + & 13 & 𝑦 = 4 \end{aligned}$
`#set math.equation(numbering: "(1)") $ E = m c^2 $`	$𝐸 = 𝑚 𝑐^{2}$ (1)

Accents

Typst	Typlet
$hat(x) thin tilde(y) thin macron(z) thin arrow(v) thin dot(a) thin dot.double(b) thin caron(c) thin breve(d) thin circle(A)$	$\hat{𝑥} \tilde{𝑦} \bar{𝑧} \vec{𝑣} \dot{𝑎} \ddot{𝑏} \overset{̌}{𝑐} \overset{̆}{𝑑} \overset{̊}{𝐴}$
$hat(a b c) space tilde(x y z) space arrow(A B) space accent(C D, arrow.l.r)$	$\hat{𝑎 𝑏 𝑐} \tilde{𝑥 𝑦 𝑧} \vec{𝐴 𝐵} \overset{⃡}{𝐶 𝐷}$
$overline(A B) space underline(C D)$	$\overline{𝐴 𝐵} \underline{𝐶 𝐷}$
$ overbrace(a+dots.c+a, n) space underbrace(1+2+dots.c+100, 5050) $	$\overset{𝑛}{\overset{⏞}{𝑎 + \dots + 𝑎}} \underset{5050}{\underset{⏟}{1 + 2 + \dots + 100}}$
$a attach(limits(=), t: "def") b attach(limits(<=), t: ?) c$	$𝑎 \overset{def}{=} 𝑏 \overset{?}{\leq} 𝑐$
$dot.triple(x)$	$\overset{⃛}{𝑥}$

Fonts

Typst	Typlet
$RR thin NN thin ZZ thin bb(1)$	$ℝ ℕ ℤ 𝟙$
$cal(L) thin scr(F) thin frak(g)$	$ℒ︀ ℱ︁ 𝔤$
$bold(x) dot bold(alpha)$	$𝒙 \cdot 𝜶$
$upright(d) thin italic(x) thin sans(A) thin mono(B)$	$d 𝑥 𝘈 𝙱$
$x = 1 "if" y > 0 "and" #strong[bold]$	$𝑥 = 1 if 𝑦 > 0 and$ boldx = 1 "if" y > 0 "and" #strong[bold]
$ op("argmax", limits: #true)_x f(x) + op("tr")(A) $	$\underset{𝑥}{argmax} 𝑓 (𝑥) + tr (𝐴)$

Symbols

Typst	Typlet
$alpha beta gamma Gamma epsilon.alt theta.alt phi Omega$	$𝛼 𝛽 𝛾 Γ 𝜖 𝜗 𝜑 Ω$
$nabla thin partial thin infinity thin aleph_0 thin planck thin ell thin Re thin pee$	$\nabla 𝜕 \infty ℵ_{0} ℏ ℓ ℜ ℘$
$A => B <=> C <- D \|-> E arrow.r.hook F arrow.r.squiggly G$	$𝐴 \Rightarrow 𝐵 \Leftrightarrow 𝐶 \leftarrow 𝐷 \mapsto 𝐸 ↪︎ 𝐹 ⇝ 𝐺$
$a <= b != c approx d equiv e (mod n)$	$𝑎 \leq 𝑏 \neq 𝑐 \approx 𝑑 \equiv 𝑒 (mod 𝑛)$
$A subset.eq B supset.neq C, space x in A without B, space y in.not A union B inter emptyset$	$𝐴 \subseteq 𝐵 ⊋ 𝐶, 𝑥 \in 𝐴 ∖ 𝐵, 𝑦 \notin 𝐴 \cup 𝐵 \cap \emptyset$
$forall x thin exists y space not(p and q) or r tack.r s models t$	$\forall 𝑥 \exists 𝑦 \neg (𝑝 \land 𝑞) \lor 𝑟 ⊢ 𝑠 ⊧ 𝑡$
$a equiv.not b, space c lt.eq.not d, space e subset.eq.not f$	$𝑎 ≢ 𝑏, 𝑐 ≰ 𝑑, 𝑒 ⊈ 𝑓$
$A stretch(->)^"over"_"under" B stretch(<-)^f C$	$𝐴 \to_{under}^{over} 𝐵 \overset{𝑓}{\leftarrow} 𝐶$

Layout

Typst	Typlet
$a thin b med c thick d quad e wide f #h(-1em/6) g$	$𝑎 𝑏 𝑐 𝑑 𝑒 𝑓 𝑔$
`$a + #hide[$x y z$] + b$`	$𝑎 + + 𝑏$
$display(sum_(i=1)^n) inline(sum_(i=1)^n) script(x)$	$\sum_{𝑖 = 1}^{𝑛} \sum_{𝑖 = 1}^{𝑛} 𝑥$
$cancel(x) + cancel(inverted: #true, y) + cancel(cross: #true, z)$	$𝑥 + 𝑦 + 𝑧$
`$#box(stroke: 0.5pt, inset: 3pt, $E=m c^2$)$`	$𝐸 = 𝑚 𝑐^{2}$ #box(stroke: 0.5pt, inset: 3pt, $E=m c^2$)
`$#text(fill: red, $x$) + #text(fill: blue, $y$) + #box(fill: yellow, $z$)$`	$𝑥 + 𝑦 +$ $𝑧$ #text(fill: red, $x$) + #text(fill: blue, $y$) + #box(fill: yellow, $z$)
$ sum_(1<=i<=j<=n) x_(i j) $	$\sum_{1 \leq 𝑖 \leq 𝑗 \leq 𝑛} 𝑥_{𝑖 𝑗}$

Real formulas

Typst	Typlet
$ nabla times arrow(E) = -(partial arrow(B))/(partial t) $	$\nabla \times \vec{𝐸} = - \frac{𝜕 \vec{𝐵}}{𝜕 𝑡}$
$ f(x) = sum_(n=0)^infinity (f^((n))(a))/(n!) (x-a)^n $	$𝑓 (𝑥) = \sum_{𝑛 = 0}^{\infty} \frac{𝑓^{(𝑛)} (𝑎)}{𝑛!} {(𝑥 - 𝑎)}^{𝑛}$
$ i planck partial/(partial t) Psi(bold(r),t) = [-planck^2/(2m) nabla^2 + V(bold(r),t)] Psi(bold(r),t) $	$𝑖 ℏ \frac{𝜕}{𝜕 𝑡} Ψ (𝒓, 𝑡) = [- \frac{ℏ^{2}}{2 𝑚} \nabla^{2} + 𝑉 (𝒓, 𝑡)] Ψ (𝒓, 𝑡)$
$ hat(f)(xi) = integral_(-infinity)^infinity f(x) e^(-2 pi i x xi) dif x $	$\hat{𝑓} (𝜉) = \int_{- \infty}^{\infty} 𝑓 (𝑥) 𝑒^{- 2 𝜋 𝑖 𝑥 𝜉} d 𝑥$
$ P(A mid(\|) B) = (P(B mid(\|) A) P(A))/P(B) $	$𝑃 (𝐴 \| 𝐵) = \frac{𝑃 (𝐵 \| 𝐴) 𝑃 (𝐴)}{𝑃 (𝐵)}$
$ R_(mu nu) - inline(1/2) R g_(mu nu) + Lambda g_(mu nu) = (8 pi G)/c^4 T_(mu nu) $	$𝑅_{𝜇 𝜈} - \frac{1}{2} 𝑅 𝑔_{𝜇 𝜈} + Λ 𝑔_{𝜇 𝜈} = \frac{8 𝜋 𝐺}{𝑐^{4}} 𝑇_{𝜇 𝜈}$
$ n! tilde.op sqrt(2 pi n) (n/e)^n $	$𝑛! \sim \sqrt{2 𝜋 𝑛} {(\frac{𝑛}{𝑒})}^{𝑛}$

Extensions

Typst	Typlet
$ mat(delim: #none, A, stretch(->)^f, B; stretch(arrow.b) g, , stretch(arrow.b) h; C, stretch(->)_k, D) $	$\begin{matrix} 𝐴 & \overset{𝑓}{\to} & 𝐵 \\ ↓ 𝑔 & ↓ ℎ \\ 𝐶 & \underset{𝑘}{\to} & 𝐷 \end{matrix}$
$2"H"_2 + "O"_2 -> 2"H"_2"O"$	$2 H_{2} + O_{2} \to 2 H_{2} O$
`#let Real = $bb(R)$ $ f: Real^n -> Real $`	$𝑓 : ℝ^{𝑛} \to ℝ$
`$#link("https://typst.app", $x^2$)$`	$𝑥^{2}$

Only in Typst

Typst	Typlet
`#let m = range(1, 5).map(i => range(1, 5).map(j => $a_(#i #j)$)) $ mat(..#m) $`	Refused: Typlet does not support the `range` function
`#let fib(n) = if n < 2 { n } else { fib(n - 1) + fib(n - 2) } $ F_20 = #fib(20) $`	$𝐹_{20} = 6765$
`#show math.equation: set text(fill: blue) #show "x": $xi$ $ x + y $`	Refused: Typlet does not support `show` rules for text
`#show math.equation: set text(font: "Cambria Math") $ sum_(i=1)^n x_i^2 $`	$\sum_{𝑖 = 1}^{𝑛} 𝑥_{𝑖}^{2}$