tex2typst 0.3.27-beta.1 → 0.3.27

package/tests/integration-tex2typst.yaml

@@ -0,0 +1,89 @@
+title: integration-tex2typst
+cases:
+  - title: base of natural logarithm
+    tex: \mathrm{e} \overset{\text{def}}{=} \lim_{{n \to \infty}} \left(1 + \frac{1}{n}\right)^n
+    typst: upright(e) eq.def lim_(n -> infinity) (1 + 1/n)^n
+  - title: Euler's product formula
+    tex: \prod_{p} \frac{1}{1-p^{-s}} = \sum_{n=1}^{\infty} \frac{1}{n^s}
+    typst: product_p 1/(1 - p^(-s)) = sum_(n = 1)^infinity 1/(n^s)
+  - title: Fermat's little theorem
+    tex: a^{p-1} \equiv 1 \mod{p}
+    typst: a^(p - 1) equiv 1 mod p
+  - title: Maxwell's equations
+    tex: |-
+      \begin{aligned}
+      \nabla \times \boldsymbol{H} &= \boldsymbol{J} + \frac{\partial \boldsymbol{D}}{\partial t} \\
+      \nabla \times \boldsymbol{E} &= -\frac{\partial \boldsymbol{B}}{\partial t} \\
+      \nabla \cdot \boldsymbol{B} &= 0 \\
+      \nabla \cdot \boldsymbol{D} &= \rho
+      \end{aligned}
+    typst: |-
+      nabla times bold(H) &= bold(J) + (diff bold(D))/(diff t) \
+      nabla times bold(E) &= - (diff bold(B))/(diff t) \
+      nabla dot.op bold(B) &= 0 \
+      nabla dot.op bold(D) &= rho
+  - title: chemical equation example - bromoethane to ethanol
+    tex: \rm{CH_3CH_2Br} + \rm{OH}^- \longrightarrow \rm{CH_3CH_2OH} + \rm{Br}^-
+    typst: upright(C H_3 C H_2 B r) + upright(O H)^- --> upright(C H_3 C H_2 O H) + upright(B r)^-
+  - title: harmonic series
+    tex: \sum_{k=1}^n \frac{1}{k} = \ln n + \gamma + O\left(\frac{1}{n}\right)
+    typst: sum_(k = 1)^n 1/k = ln n + gamma + O(1/n)
+  - title: Euler's complex exponential formula
+    tex: \mathrm{e}^{\mathrm{i} x} = \cos x + \mathrm{i} \sin x
+    typst: upright(e)^(upright(i) x) = cos x + upright(i) sin x
+  - title: Gauss's divergence theorem
+    tex: \iiint_{\Omega} \operatorname{div}(\vec{F}) \mathrm{d}V = \oiint_{\partial \Omega} \vec{F} \cdot \mathrm{d}\vec{S}
+    typst: integral.triple_Omega op("div")(arrow(F)) dif V = integral.surf_(diff Omega) arrow(F) dot.op dif arrow(S)
+  - title: Stokes' theorem
+    tex: \iint_{\Sigma} \operatorname{curl}(\vec{F}) \cdot \mathrm{d}\vec{S} = \oint_{\partial \Sigma} \vec{F} \times \mathrm{d}\vec{l}
+    typst: integral.double_Sigma op("curl")(arrow(F)) dot.op dif arrow(S) = integral.cont_(diff Sigma) arrow(F) times dif arrow(l)
+  - title: Prime number theorem
+    tex: \pi(x) \sim \frac{x}{\log x}
+    typst: pi(x) ~ x/(log x)
+  - title: current-voltage characteristics of n-channel enhancement MOSFETs
+    tex: i_D = \mu_n C_\text{ox} \frac{W}{L} \left[ (v_\text{GS} - V_t)v_\text{DS} - \frac{1}{2} v_\text{DS}^2 \right]
+    typst: i_D = mu_n C_"ox" W/L [(v_"GS" - V_t) v_"DS" - 1/2 v_"DS"^2]
+  - title: Black-Scholes formula for option pricing
+    tex: |-
+      \begin{aligned}
+      C &= N(d_1) S_t - N(d_2) K e^{-rt} \\
+      d_1 &= \frac{\ln \frac{S_t}{K} + (r + \frac{\sigma^2}{2}) t}{\sigma \sqrt{t}} \\
+      d_2 &= d_1 - \sigma\sqrt{t}
+      \end{aligned}
+    typst: |-
+      C &= N(d_1) S_t - N(d_2) K e^(-r t) \
+      d_1 &= (ln (S_t)/K +(r + (sigma^2)/2) t)/(sigma sqrt(t)) \
+      d_2 &= d_1 - sigma sqrt(t)
+  - title: Cauchy's integral formula
+    tex: f(z_0) = \frac{1}{2\pi \mathrm{i}} \oint_{C} \frac{f(z)}{z-z_0}\, \mathrm{d} z
+    typst: f(z_0) = 1/(2 pi upright(i)) integral.cont_C (f(z))/(z - z_0) thin dif z
+  - title: determinant of a Vandermonde matrix
+    tex: |-
+      \begin{vmatrix}
+      1 & 1 & \dots & 1 \\
+      x_1 & x_2 & \dots & x_n \\
+      x_1^2 & x_2^2 & \dots & x_n^2 \\
+      \vdots & \vdots & \ddots & \vdots \\
+      x_1^{n-1} & x_2^{n-1} & \dots & x_n^{n-1}
+      \end{vmatrix}
+      = \prod_{1 \leq i < j \leq n} (x_j - x_i)
+    # TODO: There should no spaces after x_n and x_n^2
+    typst: |-
+      mat(delim: "|", 1, 1, ..., 1;
+      x_1, x_2, ..., x_n;
+      x_1^2, x_2^2, ..., x_n^2;
+      dots.v, dots.v, dots.down, dots.v;
+      x_1^(n - 1), x_2^(n - 1), ..., x_n^(n - 1))
+      = product_(1 <= i < j <= n) (x_j - x_i)
+  - title: ReLU function
+    tex: |-
+      \operatorname{ReLU}(x) = \begin{cases}
+      x & \text{if } x > 0 \\
+      0 & \text{if } x \leq 0
+      \end{cases}
+    typst: |-
+      op("ReLU")(x) = cases(x & "if " x > 0,
+      0 & "if " x <= 0)
+  - title: attention mechanism
+    tex: \operatorname{Attention}(Q, K, V) = \operatorname{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right) V
+    typst: op("Attention")(Q, K, V) = op("softmax")((Q K^T)/sqrt(d_k)) V

package/tests/struct-bidirection.yaml

@@ -0,0 +1,179 @@
+title: Bidirectional conversion of structures
+cases:
+  - title: a complex structure as script
+    # This doesn't actually need the extra brackets, but it is clearer!
+    tex: 'e_{f(x)}'
+    typst: e_(f(x))
+  - title: Nested scripts
+    tex: 'r_{s^+}'
+    typst: 'r_(s^+)'
+  - title: Text Functions
+    tex: '\text{diag}'
+    typst: '"diag"'
+  - title: Single Char Text
+    tex: \text{a}
+    typst: '"a"'
+  - title: Aligned
+    tex: |-
+      \begin{aligned}
+      a &= b \\
+      c &= d
+      \end{aligned}
+    typst: |-
+      a &= b \
+      c &= d
+  - title: An align mark & is at the beginning of a line
+    tex: |-
+      \begin{aligned}
+      & a &= b \\
+      & c &= d
+      \end{aligned}
+    typst: |-
+      & a &= b \
+      & c &= d
+  - title: matrix
+    tex: |-
+      m = \begin{matrix}
+      a & b \\
+      c & d \\
+      e & f
+      \end{matrix}
+    typst: |-
+      m = mat(delim: #none, a, b;
+      c, d;
+      e, f)
+  - title: pmatrix
+    tex: |-
+      m = \begin{pmatrix}
+      a & b \\
+      c & d
+      \end{pmatrix}
+    typst: |-
+      m = mat(a, b;
+      c, d)
+  - title: bmatrix
+    tex: |-
+      m = \begin{bmatrix}
+      a & b \\
+      c & d
+      \end{bmatrix}
+    typst: |-
+      m = mat(delim: "[", a, b;
+      c, d)
+  - title: Bmatrix
+    tex: |-
+      m = \begin{Bmatrix}
+      a & b \\
+      c & d
+      \end{Bmatrix}
+    typst: |-
+      m = mat(delim: "{", a, b;
+      c, d)
+  - title: vmatrix
+    tex: |-
+      m = \begin{vmatrix}
+      a & b \\
+      c & d
+      \end{vmatrix}
+    typst: |-
+      m = mat(delim: "|", a, b;
+      c, d)
+  - title: Vmatrix
+    tex: |-
+      m = \begin{Vmatrix}
+      a & b \\
+      c & d
+      \end{Vmatrix}
+    typst: |-
+      m = mat(delim: bar.v.double, a, b;
+      c, d)
+  - title: accent, symbol over variable
+    tex: \bar{y} \vec{x} \dot{y} \ddot{y} \tilde{a} \hat{a}
+    typst: macron(y) arrow(x) dot(y) dot.double(y) tilde(a) hat(a)
+  - title: underline, overline
+    tex: \underline{a} \overline{a} \underline{a + 1} \overline{a + 1}
+    typst: underline(a) overline(a) underline(a + 1) overline(a + 1)
+  - title: comment
+    tex: a + b % comment
+    typst: a + b // comment
+  - title: comment2
+    tex: a + b % comment % comment2
+    typst: a + b // comment % comment2
+  - title: comment3
+    tex: |-
+      a + b % co
+      c + d
+      e + f % co
+      g + h
+    typst: |-
+      a + b // co
+      c + d
+      e + f // co
+      g + h
+  - title: mod
+    tex: a^{p - 1} \equiv 1 \mod p
+    typst: a^(p - 1) equiv 1 mod p
+  - title: overset
+    tex: \overset{a}{+}
+    typst: limits(+)^a
+  - title: underset
+    tex: \underset{a}{+}
+    typst: limits(+)_a
+  - title: overset, special case 1
+    tex: \overset{\text{def}}{=}
+    typst: eq.def
+  - title: newline
+    tex: |-
+      a + b \\
+      c + d
+    typst: |-
+      a + b \
+      c + d
+  - title: leading sign
+    tex: -a
+    typst: -a
+  - title: Mathrm
+    tex: 'p_e = 1 - \mathrm{e}^{-t \lambda}'
+    typst: p_e = 1 - upright(e)^(-t lambda)
+  - title: decimals
+    tex: "3.14"
+    typst: "3.14"
+  - title: Cube root
+    tex: '\sqrt[3]{x}'
+    typst: root(3, x)
+  - title: floor and ceil
+    tex: \lfloor 1.2 \rfloor + \lceil 1.2 \rceil
+    typst: floor(1.2) + ceil(1.2)
+  - title: floor and ceil with overHigh
+    tex: \left \lfloor \frac{1}{2} \right \rfloor + \left \lceil \frac{1}{2} \right \rceil
+    typst: floor(1/2) + ceil(1/2)
+  # - title: norm
+  #   tex: \|a \|^2
+  #   typst: norm(a)^2
+  - title: norm with overHigh
+    tex: \left \|a + \frac{1}{3} \right \|^2
+    typst: norm(a + 1/3)^2
+  - title: left right angles
+    tex: \left\langle \frac{1}{2} \right\rangle
+    typst: lr(angle.l 1/2 angle.r)
+  - title: fractions as function argument
+    tex: g(\frac{1}{2})
+    typst: g(1/2)
+  - title: multiple arguments should join with a comma
+    tex: A(B(x, y))
+    typst: A(B(x, y))
+  - title: mathbb
+    tex: \mathbb{A} \mathbb{B} \mathbb{C} \mathbb{D} \mathbb{E} \mathbb{F} \mathbb{G} \mathbb{H} \mathbb{I} \mathbb{J} \mathbb{K} \mathbb{L} \mathbb{M} \mathbb{N} \mathbb{O} \mathbb{P} \mathbb{Q} \mathbb{R} \mathbb{S} \mathbb{T} \mathbb{U} \mathbb{V} \mathbb{W} \mathbb{X} \mathbb{Y} \mathbb{Z}
+    typst: AA BB CC DD EE FF GG HH II JJ KK LL MM NN OO PP QQ RR SS TT UU VV WW XX YY ZZ
+  - title: hspace
+    tex: \hspace{1cm}
+    typst: "#h(1cm)"
+  - title: leftright ()
+    tex: \left(a + \frac{1}{3} \right)
+    typst: (a + 1/3)
+  # - title: leftright {}
+  #   tex: \left\{a + \frac{1}{3} \right\}
+  #   typst: "{a + 1/3}"
+  - title: textcolor
+    tex: x = \textcolor{red}{a + y}
+    typst: "x = #text(fill: red)[$a + y$]"

package/tests/struct-tex2typst.yaml

@@ -0,0 +1,443 @@
+# Some test cases are from https://github.com/curvenote/tex-to-typst/blob/1d0b121d162911f1c99b47171939e30656f49270/tests/math.yml (MIT License)
+title: struct-tex2typst
+cases:
+  - title: redundant spaces should be ignored
+    tex: 'p ( x )   =    \frac{e^{-\lambda}\lambda^{x}}{ x ! }'
+    typst: p(x) = (e^(-lambda) lambda^x)/(x!)
+  - title: Simplified brackets
+    tex: 'e_f(x)'
+    typst: e_f (x)
+  - title: Comma inside function
+    tex: '\boldsymbol{j_x, j_y}'
+    typst: 'bold(j_x comma j_y)'
+
+  - title: Nested functions
+    tex: '\boldsymbol{m}_\text{ref}'
+    typst: 'bold(m)_"ref"'
+  - title: left and right brackets, not overHigh
+    tex: '\left[\boldsymbol{A} \right) \left\{b \right)'
+    typst: 'lr([bold(A))) lr({b))'
+  - title: dot as right bracket
+    tex: '\left\{ \frac{a}{b} \right.'
+    typst: 'lr(\{ a/b)'
+  - title: dot as left bracket
+    tex: '\left. \frac{a}{b} \right\}'
+    typst: 'lr(a/b })'
+  - title: left. and right.
+    tex: '\left. \frac{a}{b} \right.'
+    typst: 'lr(a/b)'
+  - title: lr
+    tex: \left|a + \frac{1}{3} \right|^2
+    typst: lr(|a + 1/3|)^2
+  - title: biglr
+    tex: \bigl|a + \frac{1}{3} \bigr|^2
+    typst: "|a + 1/3 |^2"
+  - title: bigm
+    tex: \dfrac{d}{dx}x^2\bigm{|}_{x=2}
+    typst: frac(d, d x) x^2 |_(x = 2)
+  - title: intop
+    tex: \intop_0^\infty x \text{d} x
+    typst: limits(integral)_0^infinity x "d" x
+  - title: bigglr
+    tex: \biggl|a + \frac{1}{3} \biggr|^2
+    typst: "|a + 1/3 |^2"
+  - title: symmetry left right
+    tex: \left\{ a \right\} \left( b \right) \left[ c \right]
+    typst: '{a}(b) [c]'
+  - title: symmetry bigl bigr
+    tex: \bigl\{ a \bigr\} \bigl( b \bigr) \bigl[ c \bigr]
+    typst: '{a}(b) [c]'
+  - title: symmetry biggl biggr
+    tex: \biggl\{ a \biggr\} \biggl( b \biggr) \biggl[ c \biggr]
+    typst: '{a}(b) [c]'
+  - title: symmetry Biggl Biggr
+    tex: \Biggl\{ a \Biggr\} \Biggl( b \Biggr) \Biggl[ c \Biggr]
+    typst: '{a}(b) [c]'
+  - title: paired delimiter commands
+    tex: \left(\bigl[\biggl\{a\biggr\}\bigr]\right)
+    typst: '([ {a}])'
+  - title: operatorname
+    tex: '\operatorname{diag} \text{diag}'
+    typst: 'op("diag") "diag"'
+  - title: operatorname1
+    tex: '\operatorname{a}'
+    typst: op("a")
+  - title: scripts
+    tex: '\boldsymbol{k}_{Av} \boldsymbol{k}^{Av}'
+    typst: 'bold(k)_(A v) bold(k)^(A v)'
+  - title: scripts
+    tex: |-
+      \boldsymbol{D}
+      \\
+      \boldsymbol{G}_{z}
+    typst: |-
+      bold(D)
+      \
+      bold(G)_z
+  - title: Complex equations with nested over/under braces
+    tex: |-
+      \begin{align*}
+      \overbrace{
+          \left[
+              \frac{1}{\Delta t}
+              \frac{\partial \boldsymbol{\theta}^{n+1}}{\partial\boldsymbol{\psi}^{n+1}}
+              -\boldsymbol{D}
+              \text{diag}\left( \boldsymbol{G} \boldsymbol{\psi}^{n+1} \right)
+              \frac{\partial \boldsymbol{k}_{Av}}{\partial\boldsymbol{\psi}^{n+1}}
+              -\boldsymbol{D}
+              \text{diag}\left( \boldsymbol{k}_{Av}(\boldsymbol{\psi}^{n+1},\boldsymbol{m}) \right)
+              \boldsymbol{G}
+              - \boldsymbol{G}_{z}
+              \frac{\partial \boldsymbol{k}_{Av}}{\partial\boldsymbol{\psi}^{n+1}}
+          \right]
+      }^{\boldsymbol{A}_0(\boldsymbol{\psi}^{n+1})}
+      \frac{\partial \boldsymbol{\psi}^{n+1}}{\partial\boldsymbol{m}}
+      \nonumber\\
+      +
+      \underbrace{
+          \left[
+              -\frac{1}{\Delta t}
+              \frac{\partial \boldsymbol{\theta}^n}{\partial\boldsymbol{\psi}^n}
+          \right]
+      }_{\boldsymbol{A}_{-1}(\boldsymbol{\psi}^n)}
+      \frac{\partial \boldsymbol{\psi}^n}{\partial\boldsymbol{m}}
+      =
+      \underbrace{
+      \left[
+          -\boldsymbol{D}
+          \text{diag}\left( \boldsymbol{G} \boldsymbol{\psi}^{n+1} \right)
+          \frac{\partial \boldsymbol{k}_{Av}}{\partial\boldsymbol{m}}
+          -\boldsymbol{G}_{z}
+          \frac{\partial \boldsymbol{k}_{Av}}{\partial\boldsymbol{m}}
+      \right]
+      }_{\boldsymbol{B}(\psi^{n+1})}&
+      \end{align*}
+    typst: |-
+      overbrace(
+      [
+      1/(Delta t)
+      (diff bold(theta)^(n + 1))/(diff bold(psi)^(n + 1))
+      - bold(D)
+      "diag"(bold(G) bold(psi)^(n + 1))
+      (diff bold(k)_(A v))/(diff bold(psi)^(n + 1))
+      - bold(D)
+      "diag"(bold(k)_(A v) (bold(psi)^(n + 1) comma bold(m)))
+      bold(G)
+      - bold(G)_z
+      (diff bold(k)_(A v))/(diff bold(psi)^(n + 1))
+      ]
+      , bold(A)_0 (bold(psi)^(n + 1)))
+      (diff bold(psi)^(n + 1))/(diff bold(m))
+      \
+      +
+      underbrace(
+      [
+      - 1/(Delta t)
+      (diff bold(theta)^n)/(diff bold(psi)^n)
+      ]
+      , bold(A)_(-1) (bold(psi)^n))
+      (diff bold(psi)^n)/(diff bold(m))
+      =
+      underbrace(
+      [
+      -bold(D)
+      "diag"(bold(G) bold(psi)^(n + 1))
+      (diff bold(k)_(A v))/(diff bold(m))
+      - bold(G)_z
+      (diff bold(k)_(A v))/(diff bold(m))
+      ]
+      , bold(B)(psi^(n + 1))) &
+  - title: leading underscore
+    tex: _2
+    typst: '#none_2'
+  - title: leading power
+    tex: '^{\text{st}}'
+    typst: '#none^"st"'
+  - title: greater than
+    tex: 'a \ge b'
+    typst: a >= b
+  - title: greater than (preferShorthands=false)
+    tex: 'a \ge b'
+    typst: a gt.eq b
+    preferShorthands: false
+  - title: ddot
+    tex: 'q, \dot{q}, \ddot{q}'
+    typst: q, dot(q), dot.double(q)
+  - title: mat
+    tex: 'x(t) = \left[ \begin{array}{c} q(t) & x \\ \dot{q}(t) & x \end{array}\right]'
+    typst: 'x(t) = [mat(delim: #none, align: #center, q(t), x; dot(q)(t), x)]'
+  - title: brackets
+    tex: '\frac{1}{\tau(X_2)}'
+    typst: '1/(tau(X_2))'
+  - title: bar and nested bb
+    tex: '\mathbb{\bar{R}}'
+    typst: 'bb(macron(R))'
+  - title: Underscore with no content
+    tex: 'P_{}^{1}'
+    typst: 'P_()^1'
+  - title: Simple overbrace
+    tex: '\overbrace{a}^{b}'
+    typst: 'overbrace(a, b)'
+  - title: underbrace
+    tex: '\underbrace{a}_{b}'
+    typst: underbrace(a, b)
+  - title: Test
+    tex: a^{b^{n+1}}
+    typst: a^(b^(n + 1))
+  - title: Test2
+    tex: a+b^1 + \frac{2}{3} + \overbrace{123}^{b}
+    typst: a + b^1 + 2/3 + overbrace(123, b)
+  - title: Symbols
+    tex: '\alpha \nabla \partial'
+    typst: alpha nabla diff
+  - title: Align
+    tex: |-
+      \begin{align*}
+      a &= b \\
+      c &= d
+      \end{align*}
+    typst: |-
+      a &= b \
+      c &= d
+  - title: Matrix cells are groups
+    tex: |-
+      m = \begin{matrix}
+      a &= b \\
+      c &= d
+      \end{matrix}
+    typst: |-
+      m = mat(delim: #none, a, = b;
+      c, = d)
+  - title: An align mark & is at the beginning of a line
+    tex: |-
+      \begin{matrix}
+      &a &= b \\
+      &c &= d
+      \end{matrix}
+    typst: |-
+      mat(delim: #none, , a, = b;
+      , c, = d)
+  - title: Array
+    tex: |-
+      \begin{array}{cc}
+      a & b \\
+      c & d
+      \end{array}
+    typst: |-
+      mat(delim: #none, align: #center, a, b;
+      c, d)
+  - title: Array with vertical line
+    tex: |-
+      \begin{array}{c|c|c}
+      a & b & c \\
+      c & d & e
+      \end{array}
+    typst: |-
+      mat(delim: #none, augment: #(vline: (1, 2)), align: #center, a, b, c;
+      c, d, e)
+  - title: Array with single vertical line
+    tex: |-
+      \begin{array}{c|cc}
+      a & b & c \\
+      c & d & e
+      \end{array}
+    typst: |-
+      mat(delim: #none, augment: #1, align: #center, a, b, c;
+      c, d, e)
+  # should not mistakenly ignore `{x}` in  `\begin{matrix} {x} ... \end{matrix}`
+  - title: should not parse arg if envName is not one of array, subarray
+    tex: \begin{matrix} {x} & {y} \\ {z} & {w} \end{matrix}
+    typst: "mat(delim: #none, x, y; z, w)"
+  - title: Test3
+    tex: \boldsymbol{x}
+    typst: bold(x)
+  - title: Test4
+    tex: a^2 + b^2 = c^2
+    typst: a^2 + b^2 = c^2
+  - title: Euler Complex Exponential
+    tex: e^{i\theta} = \cos \theta + i \sin \theta
+    typst: e^(i theta) = cos theta + i sin theta
+  - title: Euler Product
+    tex: \prod_{p} \frac{1}{1-p^{-s}}= \sum_{n=1}^{\infty} \frac{1}{n^s}
+    typst: product_p 1/(1 - p^(-s)) = sum_(n = 1)^infinity 1/(n^s)
+  - title: Test5
+    tex: "{a+b}^2"
+    typst: (a + b)^2
+  - title: Test6
+    tex: 1 + {a + b} + c
+    typst: 1 + a + b + c
+  - title: Test7
+    tex: (a + b)^2
+    typst: (a + b)^2
+  - title: leading minus sign
+    tex: a^{-s}
+    typst: a^(-s)
+  - title: Test8
+    tex: \sqrt{\frac{1}{x^2 + y^2}}
+    typst: sqrt(1/(x^2 + y^2))
+  - title: basic prime case
+    tex: y'
+    typst: y'
+  - title: has both prime and subscript
+    tex: y_1' + y'_2 + y_{a_1}' + {\theta}_1'
+    typst: y'_1 + y'_2 + y'_(a_1) + theta'_1
+
+  - title: space before or after script
+    tex: \lim _{x \to 0} \sum_{i=1} ^ n
+    typst: lim_(x -> 0) sum_(i = 1)^n
+  - title: spaces around text
+    tex: i_D = \mu_n C_\text{ox} \frac{W}{L} \left[ (v_\text{GS} - V_t)v_\text{DS} - \frac{1}{2} v_\text{DS}^2 \right]
+    typst: i_D = mu_n C_"ox" W/L [(v_"GS" - V_t) v_"DS" - 1/2 v_"DS"^2]
+  - title: base is group wrapped in brackets
+    tex: e = \lim_{{n \to \infty}} \left(1 + \frac{1}{n}\right)^n
+    typst: e = lim_(n -> infinity) (1 + 1/n)^n
+
+  - title: oo
+    tex: \infty
+    typst: oo
+    inftyToOo: true
+  - title: overrightarrow
+    tex: \overrightarrow{AB}
+    typst: arrow(A B)
+  - title: overleftarrow
+    tex: \overleftarrow{AB}
+    typst: accent(A B, <-)
+  - title: Horizontal space symbols
+    tex: "\\, \\: \\; \\quad \\!"
+    typst: "thin med thick quad #h(-math.thin.amount)"
+  - title: cases1
+    tex: |-
+      \begin{cases}
+      x^2, & \text{if } x \geq 0 \\
+      -x,  & \text{if } x < 0
+      \end{cases}
+    typst: |-
+      cases(x^2 comma & "if " x >= 0,
+      - x comma & "if " x < 0)
+  - title: cases2
+    tex: |-
+      A_{ij} = 
+        \begin{cases}
+        1, & \text{if } i = j \\
+        0, & \text{otherwise}
+        \end{cases}
+    typst: |-
+      A_(i j) =
+      cases(1 comma & "if " i = j,
+      0 comma & "otherwise")
+  - title: cases3
+    tex: |-
+      P(X = x) = 
+        \begin{cases}
+        \frac{1}{n}, & x \in \{1,2,\dots,n\} \\
+        0,           & \text{otherwise}
+        \end{cases}
+    typst: |-
+      P(X = x) =
+      cases(1/n comma & x in {1 comma 2 comma ... comma n},
+      0 comma & "otherwise")
+  - title: cases4
+    tex: |-
+      f(x) = 
+        \begin{cases}
+        x^2 + 1,        & \text{if } x < -1 \\
+        \sin x + x^2,   & \text{if } -1 \leq x \leq 1 \\
+        \sqrt{x},       & \text{if } x > 1
+        \end{cases}
+    typst: |-
+      f(x) =
+      cases(x^2 + 1 comma & "if " x < - 1,
+      sin x + x^2 comma & "if " - 1 <= x <= 1,
+      sqrt(x) comma & "if " x > 1)
+  - title: cases5
+    tex: |-
+      \begin{align*}
+      f(x) &= 
+      \begin{cases}
+      x^2, & x \geq 0 \\
+      -x, & x < 0
+      \end{cases} \\
+      g(x) &= 
+      \begin{cases}
+      \sin x, & x < \pi \\
+      0, & x \geq \pi
+      \end{cases}
+      \end{align*}
+
+    typst: |-
+      f(x) &=
+      cases(x^2 comma & x >= 0,
+      - x comma & x < 0) \
+      g(x) &=
+      cases(sin x comma & x < pi,
+      0 comma & x >= pi)
+  - title: frac1
+    tex: \frac ab
+    typst: a/b
+  - title: frac2
+    tex: \frac 12
+    typst: 1/2
+  - title: frac3
+    tex: \frac 12
+    typst: 1/2
+  - title: frac4
+    tex: \frac12
+    typst: 1/2
+  - title: frac5
+    tex: \frac{12}{34}
+    typst: 12/34
+  - title: frac6
+    tex: \frac123
+    typst: 1/2 3
+  - title: frac7
+    tex: \frac {12}3
+    typst: 12/3
+  # this test the lexer's regex. Old bad implementation translated it to "yen 2 0 00 \$ 3000"
+  - title: yen
+    tex: \yen 2000 > \$ 3000
+    typst: yen 2000 > \$ 3000
+  # this test the typst writer. Old bad implementation translated it to "X/Y/2"
+  - title: frac of frac
+    tex: \frac{X}{\frac{Y}{2}}
+    typst: X/(Y/2)
+  - title: Don't escape commas inside a lr()
+    tex: \left| f(a, b) \right|
+    typst: lr(|f(a, b)|)
+  - title: Backslash space
+    tex: a \ b
+    typst: a med b
+  - title: display style
+    tex: \displaystyle \lim_{x \to -\infty} F(x) = 0, \lim_{x \to +\infty} F(x) = 1
+    typst: display(lim_(x -> - infinity) F(x) = 0 comma lim_(x -> + infinity) F(x) = 1)
+  - title: display style 2
+    tex:  \lim_{x \to -\infty} F(x) = 0, \displaystyle \lim_{x \to +\infty} F(x) = 1
+    typst: lim_(x -> - infinity) F(x) = 0, display(lim_(x -> + infinity) F(x) = 1)
+  # this test the typst formatter. Old bad implementation translated it to "C(x y)/z"
+  - title: parenthesis in fraction
+    tex: C \frac{xy}{z}
+    typst: C (x y)/z
+  # this test the typst formatter. Old bad implementation translated it to "1/3(x + y)"
+  - title: parenthesis after fraction
+    tex: \frac{1}{3} (x + y)
+    typst: 1/3 (x + y)
+  - title: substack
+    tex: \sum_{\substack{0 \leq i \leq m \\ 0 < j < n}} P(i, j)
+    typst: sum_(0 <= i <= m \ 0 < j < n) P(i, j)
+  - title: subarray-l
+    tex: \sum_{\begin{subarray}{l} 0 \leq i \leq m \\ 0 < j < n \end{subarray}} P(i, j)
+    typst: sum_(& 0 <= i <= m \ & 0 < j < n) P(i, j)
+  - title: subarray
+    tex: \sum_{\begin{subarray}{c} 0 \leq i \leq m \\ 0 < j < n \end{subarray}} P(i, j)
+    typst: sum_(0 <= i <= m \ 0 < j < n) P(i, j)
+  - title: subarray-r
+    tex: \sum_{\begin{subarray}{r} 0 \leq i \leq m \\ 0 < j < n \end{subarray}} P(i, j)
+    typst: sum_(0 <= i <= m & \ 0 < j < n &) P(i, j)
+  - title: subarray-with-rr &
+    tex: \sum_{\begin{subarray}{rr} a & b \\ c & d \end{subarray}} P(i, j)
+    typst: sum_(a & b \ c & d) P(i, j)
+  - title: command set
+    tex: \set{a, b, c}
+    typst: "{a, b, c}"
+  - title: command set, empty
+    tex: \set{}
+    typst: "{}"