[trueismywork]

It should be in the LaTeX sources on the website. This does look much more compact though.

Just to now push it a little. I wonder if I can make the `1/(d+1)` in the superscript be not a real fraction but inline fraction.

[cbolton]

Here are the LaTeX versions from the article source:

  \begin{align}
    \begin{split}
     \mathcal{C}(M) = &\: \Et^t(\theta,\S_t)^2
     + C_t M_t^{-\frac{2}{d}}
     + \Et^\pde(\theta,\S_\inte)^2 +C_\pde 
     M_\mathrm{int}^{-\frac{2}{d+1}}\\&+ C_1{T}^{\frac{1}{2}}
     \bigg[\Et^\divv(\theta,\S_\inte) +C_\divv 
     M_\mathrm{int}^{-\frac{1}{d+1}}+(1+\nu)
     big( \Et^s(\theta,\S_s) + C_s M_s^{-\frac{1}{d}}\big)\bigg],\\
    \end{split}
  \end{align}

and for 3.12:

  \begin{align}
    \begin{split}
    \norm{(u_0)_j-\hu_j(t=0)}_{L^2(\mathbb{T}^d)} &\leq 
    \norm{u_j-\hu_j}_{L^2(\partial \Omega)} \\&\leq 
    \sqrt{\frac{2\max\left\{2h_\Omega,d+1\right\}}
    {\rho_\Omega}}\norm{u_j-\hu_j}_{H^1(\Omega)}\\
    &\leq \sqrt{\frac{2\max\left\{2h_\Omega,d+1\right\}}
    {\rho_\Omega}}C_{1,k,d+1, u_1} \lambda_{1}(N)N^{-k+1}, 
    \end{split}
  \end{align}

Note that these rely on user-defined commands \Et, \pde, \inte, \divv, \S, \hu, for example \renewcommand{\S}{\mathcal{S}} and \newcommand{\Et}{\mathcal{E}_T}.

[trueismywork]

Yup. Much more verbose. However, I must admit, all the unescaped names in Typst leaves me with any eerie feeling. It seems a ground ripe for a name conflict at some point. Or a bottleneck for customization like calligraphic C or script C.

[cbolton]

You can do that by escaping the slash: `1\/(d+1)`

[trueismywork]

Cool