tex2typst 0.3.27-beta.1 → 0.3.28

package/tests/struct-typst2tex.yaml

@@ -0,0 +1,412 @@
+# Most test cases are from https://github.com/curvenote/tex-to-typst/blob/1d0b121d162911f1c99b47171939e30656f49270/tests/math.yml (MIT License)
+title: integration-cases
+cases:
+  - title: Integrals and vec
+    tex: '\nabla \cdot \vec{j}(p) = \lim_{v \rightarrow \{p\}} = \int \int_{S(v)} \frac{\vec{j} \cdot \vec{n}}{v} d S'
+    typst: nabla dot.op arrow(j)(p) = lim_(v arrow.r {p}) = integral integral_(S(v)) frac(arrow(j) dot.op arrow(n), v) d S
+  - title: Fractions and vectors
+    tex: '\frac{1}{4} \sum_{i = 1}^4 \boldsymbol{P}_i^\top \sqrt{v} \boldsymbol{\Sigma}^{-1} \sqrt{v} \boldsymbol{P}_i \boldsymbol{j} = \boldsymbol{D}^\top v \phi'
+    typst: frac(1, 4) sum_(i = 1)^4 bold(P)_i^top sqrt(v) bold(Sigma)^(-1) sqrt(v) bold(P)_i bold(j) = bold(D)^top v phi.alt
+
+
+  - title: Plus minus
+    tex: 'q = \pm I'
+    typst: q = plus.minus I
+  - 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
+    tex: '\left[\frac{1}{3} \right) \left\{b + \frac{1}{3} \right)'
+    typst: 'lr([1/3)) lr({b + 1/3))'
+  - title: left and right brackets, not overHigh
+    tex: '[\boldsymbol{A}) \{b)'
+    typst: 'lr([bold(A))) lr({b))'
+  - title: lr
+    tex: \left|a + \frac{1}{3} \right|^2
+    typst: lr(|a + frac(1, 3)|)^2
+  - title: should keep commas in lr, case 1
+    tex: \left[a, b, \frac{1}{2} \right\}
+    typst: lr([a, b, 1/2 })
+  - title: should keep commas in lr, case 2
+    tex: \left. a, b, \frac{1}{2} \right.
+    typst: lr(a, b, 1/2 )
+  - title: symmetry left right
+    tex: \{a\}(b) [c]
+    typst: '{a}(b) [c]'
+  - title: operatorname
+    tex: '\operatorname{diag} \text{diag}'
+    typst: 'op("diag") "diag"'
+  - title: scripts
+    tex: '\boldsymbol{k}_{A v} \boldsymbol{k}^{A v}'
+    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{aligned}
+      \overbrace{
+          [
+              \frac{1}{\Delta t}
+              \frac{\partial \boldsymbol{\theta}^{n + 1}}{\partial \boldsymbol{\psi}^{n + 1}}
+              - \boldsymbol{D}
+              \text{diag}(\boldsymbol{G} \boldsymbol{\psi}^{n + 1})
+              \frac{\partial \boldsymbol{k}_{A v}}{\partial \boldsymbol{\psi}^{n + 1}}
+              - \boldsymbol{D}
+              \text{diag}(\boldsymbol{k}_{A v}(\boldsymbol{\psi}^{n + 1}, \boldsymbol{m}))
+              \boldsymbol{G}
+              - \boldsymbol{G}_z
+              \frac{\partial \boldsymbol{k}_{A v}}{\partial \boldsymbol{\psi}^{n + 1}}
+          ]
+      }^{\boldsymbol{A}_0(\boldsymbol{\psi}^{n + 1})}
+      \frac{\partial \boldsymbol{\psi}^{n + 1}}{\partial \boldsymbol{m}}
+      \\
+      +
+      \underbrace{
+          [
+              -\frac{1}{\Delta t}
+              \frac{\partial \boldsymbol{\theta}^n}{\partial \boldsymbol{\psi}^n}
+          ]
+      }_{\boldsymbol{A}_{-1}(\boldsymbol{\psi}^n)}
+      \frac{\partial \boldsymbol{\psi}^n}{\partial \boldsymbol{m}}
+      =
+      \underbrace{
+          [
+              -\boldsymbol{D}
+              \text{diag}(\boldsymbol{G} \boldsymbol{\psi}^{n + 1})
+              \frac{\partial \boldsymbol{k}_{A v}}{\partial \boldsymbol{m}}
+              - \boldsymbol{G}_z
+              \frac{\partial \boldsymbol{k}_{A v}}{\partial \boldsymbol{m}}
+          ]
+      }_{\boldsymbol{B}(\psi^{n + 1})} &
+      \end{aligned}
+    typst: |-
+      overbrace(
+          [
+              frac(1, Delta t)
+              frac(diff bold(theta)^(n + 1), diff bold(psi)^(n + 1))
+              - bold(D)
+              "diag"(bold(G) bold(psi)^(n + 1))
+              frac(diff bold(k)_(A v), diff bold(psi)^(n + 1))
+              - bold(D)
+              "diag"(bold(k)_(A v)(bold(psi)^(n + 1), bold(m)))
+              bold(G)
+              - bold(G)_z
+              frac(diff bold(k)_(A v), diff bold(psi)^(n + 1))
+          ]
+      , bold(A)_0 (bold(psi)^(n + 1)))
+      frac(diff bold(psi)^(n + 1), diff bold(m))
+      \
+      +
+      underbrace(
+          [
+              -frac(1, Delta t)
+              frac(diff bold(theta)^n, diff bold(psi)^n)
+          ]
+      , bold(A)_(-1)(bold(psi)^n))
+      frac(diff bold(psi)^n, diff bold(m))
+      =
+      underbrace(
+          [
+              -bold(D)
+              "diag"(bold(G) bold(psi)^(n + 1))
+              frac(diff bold(k)_(A v), diff bold(m))
+              - bold(G)_z
+              frac(diff bold(k)_(A v), diff bold(m))
+          ]
+      , bold(B)(psi^(n + 1))) &
+  # - title: leading underscore
+  #   tex: _2
+  #   typst: '""_2'
+  # - title: leading power
+  #   tex: '^{\text{st}}'
+  #   typst: '""^"st"'
+  - title: greater than
+    tex: 'a \ge b'
+    typst: a gt.eq b
+  - title: ddot
+    tex: 'q, \dot{q}, \ddot{q}'
+    typst: q, dot(q), dot.double(q)
+  - title: brackets
+    tex: '\frac{1}{\tau(X_2)}'
+    typst: 'frac(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 + frac(2, 3) + overbrace(123, b)
+  - title: Symbols
+    tex: '\alpha \nabla \partial'
+    typst: alpha nabla diff
+  - 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 frac(1, 1 - p^(-s)) = sum_(n = 1)^infinity 1/n^s
+  - 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(frac(1, x^2 + y^2))
+  - title: basic prime case
+    tex: y'
+    typst: y'
+  - title: has both prime and subscript
+    tex: y'_2 + y'_{a_1} + \theta'_1
+    typst: y'_2 + y'_(a_1) + theta'_1
+
+
+  - title: Horizontal space symbols
+    tex: "\\, \\: \\; \\quad"
+    typst: thin med thick quad
+  - title: spaces around text
+    tex: i_D = \mu_n C_\text{ox} \frac{W}{L} [ (v_\text{GS} - V_t) v_\text{DS} - \frac{1}{2} v_\text{DS}^2 ]
+    typst: i_D = mu_n C_"ox" frac(W, L) [ (v_"GS" - V_t) v_"DS" - frac(1, 2) v_"DS"^2 ]
+  - title: base is group wrapped in brackets
+    tex: e = \lim_{n \rightarrow \infty} \left(1 + \frac{1}{n} \right)^n
+    typst: e = lim_(n arrow.r infinity) (1 + frac(1, n))^n
+
+  - title: fraction1
+    tex: \frac{1}{2}
+    typst: 1/2
+  - title: fraction2
+    tex: \frac{1}{2} + 3
+    typst: 1 / 2 + 3
+  - title: fraction3
+    tex: 1 + \frac{1}{2} + 3
+    typst: 1 + 1 / 2 + 3
+  - title: fraction4
+    tex: \frac{5 + 6}{4} + 8
+    typst: (5 + 6) / 4 + 8
+  - title: fraction5
+    tex: \frac{1 + 4}{5 + 6 + 7}
+    typst: (1 + 4)/(5 + 6 + 7)
+  - title: fraction6
+    tex: \sin x = \frac{e^{i x} - e^{-i x}}{2 i}
+    typst: sin x = (e^(i x) - e^(-i x))/(2 i)
+  - title: fraction7
+    tex: \frac{1}{\frac{1}{2}}
+    typst: 1/(1/2)
+  - title: parenthesis1
+    tex: \text{diag}(\boldsymbol{k}_{A v}(\boldsymbol{\psi}^{n + 1}, \boldsymbol{m}))
+    typst: '"diag"(bold(k)_(A v)(bold(psi)^(n + 1), bold(m)))'
+  - title: base of natural logarithm
+    tex: e \overset{\text{def}}{=} \lim_{n \rightarrow \infty} \left(1 + \frac{1}{n} \right)^n
+    typst: e eq.def lim_(n arrow.r infinity) (1 + frac(1, n))^n
+  - title: base of natural logarithm (shorthands)
+    tex: e \overset{\text{def}}{=} \lim_{n \rightarrow \infty} \left(1 + \frac{1}{n} \right)^n
+    typst: 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 frac(1, 1 - p^(-s)) = sum_(n = 1)^(infinity) frac(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) + frac(diff bold(D), diff t) \
+      nabla times bold(E) &= - frac(diff bold(B), diff t) \
+      nabla dot.op bold(B) &= 0 \
+      nabla dot.op bold(D) &= rho
+  - title: Chen's inequality
+    tex: \yen 2000 > \$ 3000
+    typst: yen 2000 > \$ 3000
+  - title: harmonic series
+    tex: \sum_{k = 1}^n \frac{1}{k} = \ln n + \gamma + O(\frac{1}{n})
+    typst: sum_(k = 1)^n frac(1, k) = ln n + gamma + O(frac(1, n))
+  - title: Euler's complex exponential formula
+    tex: e^{i x} = \cos x + i \sin x
+    typst: e^(i x) = cos x + 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: Black-Scholes formula for option pricing
+  #   tex: |-
+  #     \begin{aligned}
+  #     C &= N(d_1) S_t - N(d_2) K e^{-r t} \\
+  #     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 &= frac(ln frac(S_t, K) + (r + frac(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) = frac(1, 2 pi upright(i)) integral.cont_C frac(f(z), z - z_0) 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 \le i < j \le n} (x_j - x_i)
+    typst: |-
+      mat(delim: "|", 1, 1, dots.h, 1;
+      x_1, x_2, dots.h, x_n;
+      x_1^2, x_2^2, dots.h, x_n^2;
+      dots.v, dots.v, dots.down, dots.v;
+      x_1^(n - 1), x_2^(n - 1), dots.h, x_n^(n - 1))
+      = product_(1 lt.eq i < j lt.eq n) (x_j - x_i)
+  - title: hyph
+    tex: a \text{-} b
+    typst: a hyph b
+  - title: hyph.minus
+    tex: a \text{-} b
+    typst: a hyph.minus b
+  - title: backslash not in the end
+    tex: a \\ b
+    typst: a \ b
+  - title: number
+    tex: 134 + 3.14
+    typst: 134 + 3.14
+  - title: number in subscript
+    tex: a_{23}
+    typst: a_(23)
+  - title: number in superscript
+    tex: a^{23}
+    typst: a^(23)
+  - title: matrixes
+    tex: |-
+      \begin{bmatrix}
+      a_x & a_1 \\ a_1 & a_x
+      \end{bmatrix} + \begin{bmatrix}
+      a_y & a_2 \\ a_2 & a_y
+      \end{bmatrix}
+    typst: |-
+      mat(delim: "[", a_x , a_1 ; a_1 , a_x) + mat(delim: "[", a_y, a_2; a_2, a_y)
+  # shorthands
+  - title: oo
+    tex: \infty
+    typst: oo
+  - title: ll and gg
+    tex: a \ll b \gg c
+    typst: a << b >> c
+  - title: "<==>"
+    tex: a \Longleftrightarrow b
+    typst: a <==> b
+  - title: "<-->"
+    tex: a \longleftrightarrow b
+    typst: a <--> b
+  - title: cases1
+    tex: |-
+      \begin{cases}
+      x^2, & \text{if } x \ge 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_{i j} =
+      \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}
+      n, & x \in\{1, 2, \dots, n\} \\
+      0, & \text{otherwise}
+      \end{cases}
+    typst: |-
+      P(X = x) =
+      cases(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 \le x \le 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{aligned}
+      f(x) &=
+      \begin{cases}
+      x^2, & x \ge 0 \\
+      - x, & x < 0
+      \end{cases} \\
+      g(x) &=
+      \begin{cases}
+      \sin x, & x < \pi \\
+      0, & x \ge \pi
+      \end{cases}
+      \end{aligned}
+    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: Typst vec to Tex pmatrix
+    tex: |-
+      \begin{pmatrix}
+      a \\ b \\ c
+      \end{pmatrix}
+    typst: vec(a,b,c)
+  - title: overset & underset
+    tex: \overset{b}{\underset{a}{+}}
+    typst: limits(+)_a^b

package/tests/symbol.yml

@@ -0,0 +1,126 @@
+title: Symbol Map
+cases:
+  - title: backslash
+    tex: \backslash
+    typst: backslash
+  - title: lowercase Greek alphabet
+    tex: \alpha \beta \gamma \delta \epsilon \zeta \eta \theta \iota \kappa \lambda \mu \nu \xi \omicron \pi \rho \sigma \tau \upsilon \phi \chi \psi \omega
+    typst: alpha beta gamma delta epsilon.alt zeta eta theta iota kappa lambda mu nu xi omicron pi rho sigma tau upsilon phi.alt chi psi omega
+  - title: lowercase Greek letter variants
+    tex: \varepsilon \vartheta \varpi \varrho \varsigma \varphi
+    typst: epsilon theta.alt pi.alt rho.alt sigma.alt phi
+  - title: Greek letters and their variants that should be handled specially
+    tex: \epsilon \phi
+    typst: epsilon.alt phi.alt
+  - title: uppercase Greek alphabet
+    tex: \Gamma \Delta \Theta \Lambda \Xi \Pi \Sigma \Upsilon \Phi \Psi \Omega
+    typst: Gamma Delta Theta Lambda Xi Pi Sigma Upsilon Phi Psi Omega
+  - title: mathbb for others
+    tex: \mathbb{1 \alpha}
+    typst: bb(1 alpha)
+  - title: mathcal
+    tex: \mathcal{A} \mathcal{B} \mathcal{C} \mathcal{D} \mathcal{E} \mathcal{F} \mathcal{G} \mathcal{H} \mathcal{I} \mathcal{J} \mathcal{K} \mathcal{L} \mathcal{M} \mathcal{N} \mathcal{O} \mathcal{P} \mathcal{Q} \mathcal{R} \mathcal{S} \mathcal{T} \mathcal{U} \mathcal{V} \mathcal{W} \mathcal{X} \mathcal{Y} \mathcal{Z}
+    typst: cal(A) cal(B) cal(C) cal(D) cal(E) cal(F) cal(G) cal(H) cal(I) cal(J) cal(K) cal(L) cal(M) cal(N) cal(O) cal(P) cal(Q) cal(R) cal(S) cal(T) cal(U) cal(V) cal(W) cal(X) cal(Y) cal(Z)
+  - title: mathscr
+    tex: \mathscr{A}
+    typst: scr(A)
+  - title: mathrm
+    tex: \mathrm{a} \rm{a}
+    typst: upright(a) upright(a)
+  - title: pmb
+    tex: \pmb{a}
+    typst: bold(a)
+  - title: variants of plus,minus,times,divide
+    tex: \pm \mp \oplus \boxplus \otimes \boxtimes
+    typst: plus.minus minus.plus plus.circle plus.square times.circle times.square
+  - title: symbols about mathematical logic
+    tex: \neg \land \lor
+    typst: not and or
+  - title: symbols about sets
+    tex: \in \subset \subseteq
+    typst: in subset subset.eq
+  - title: empty set
+    tex: \varnothing
+    typst: diameter
+  - title: symbols about comparing numbers and order relations
+    # prec.eq and succ.eq don't looks like \preceq and \succeq
+    tex: \neq \leq \geq \ll \gg \prec \succ \preceq \succeq
+    typst: eq.not lt.eq gt.eq lt.double gt.double prec succ prec.eq succ.eq
+    preferShorthands: false
+  - title: symbols about differential
+    # TODO: \mathrm{d} or \operatorname{d} -> dif
+    tex: \Delta \nabla \partial
+    typst: Delta nabla diff
+  - title: symbols about integral
+    tex: \int \oint \iint \oiint \iiint \oiiint
+    typst: integral integral.cont integral.double integral.surf integral.triple integral.vol
+  - title: big symbols used to denote accumulated operations
+    tex: \sum \prod \bigcup \bigcap \bigvee \bigwedge \bigoplus \bigotimes \bigodot \biguplus \bigsqcup
+    typst: sum product union.big inter.big or.big and.big plus.circle.big times.circle.big dot.circle.big union.plus.big union.sq.big
+  - title: wave
+    tex: \sim \approx \cong \simeq \asymp \equiv \propto
+    typst: tilde.op approx tilde.equiv tilde.eq asymp equiv prop
+    preferShorthands: false
+  - title: arrows used in proofs
+    tex: \implies \iff \leftrightarrow \longleftrightarrow \rightrightarrows
+    typst: arrow.r.double.long arrow.l.r.double.long arrow.l.r arrow.l.r.long arrows.rr
+    preferShorthands: false
+  # - title: def eq
+  #   tex: \overset{\text{def}}{=}
+  #   typst: eq.def
+  - title: monetary symbols
+    tex: \$ \pounds \yen
+    typst: \$ pound yen
+  - title: escape characters
+    tex: \{ \} \_ \& \# \% \$
+    typst: "{} \\_\\& \\# % \\$" # Ideally there should be a space between \ and {, but not implemented yet
+  - title: combinatorial number
+    tex: \binom{n}{k}
+    typst: binom(n, k)
+  - title: unpaired left and right floor,ceil
+    tex: \rfloor \lceil \left\lceil \frac{1}{2} \right \rfloor
+    typst: floor.r ceil.l lr(ceil.l 1/2 floor.r)
+  - title: paired left and right floor,ceil
+    tex: \lfloor x \rfloor \lceil x \rceil \left\lceil \frac{1}{2} \right \rceil 
+    typst: floor(x) ceil(x) ceil(1/2)
+  - title: paired lfloor and rceil
+    tex: \lfloor \rceil \lfloor x \rceil \left \lfloor \frac{1}{2} \right \rceil
+    typst: round("") round(x) round(1/2)
+  - title: trigonometric functions
+    tex: \sin \cos \tan \cot \sec \csc
+    typst: sin cos tan cot sec csc
+  # - title: hyperbolic functions
+    # tex: \sinh \cosh \tanh \coth \sech \csch
+    # typst: sinh cosh tanh coth sech csch
+  - title: prefer Typst Intrinsic
+    tex: \operatorname{sech}
+    typst: sech
+  - title: custom macros
+    tex: \myop y=\sgn(x)
+    typst: op("myop") y = op("sgn")(x)
+    customTexMacros:
+      \myop: \operatorname{myop}
+      \sgn: \operatorname{sgn}
+  - title: non-strict mode
+    tex: \myop
+    typst: myop
+    nonStrict: true
+  - title: extended
+    tex: \LaTeX \TeX
+    typst: "#LaTeX #TeX"
+  - title: mathbf
+    tex: \mathbf{A}
+    typst: upright(bold(A))
+  - title: slash
+    tex: 1/2
+    typst: 1 \/2
+  - title: double bar
+    tex: \|
+    typst: bar.v.double
+  - title: double bar as left-right delimiter
+    tex: \left\| a + \frac{1}{2} \right.
+    typst: lr(bar.v.double a + 1/2)
+  - title: preferShorthands
+    tex: \leadsto
+    typst: ~>
+    preferShorthands: true

package/tests/test-common.ts

@@ -0,0 +1,26 @@
+import path from 'node:path';
+import fs from 'node:fs';
+// @ts-ignore
+import yaml from 'js-yaml';
+
+export interface TestCase {
+  title: string;
+  tex: string;
+  typst: string;
+  nonStrict?: boolean;
+  preferShorthands?: boolean;
+  inftyToOo?: boolean;
+  customTexMacros: { [key: string]: string };
+};
+
+
+export interface TestCaseFile {
+    title: string;
+    cases: TestCase[];
+};
+
+
+export function loadTestCases(filename: string): TestCaseFile {
+    const content = fs.readFileSync(path.join(__dirname, filename), { encoding: 'utf-8' });
+    return yaml.load(content) as TestCaseFile;
+}

package/tests/tex-parser.test.ts

@@ -0,0 +1,97 @@
+import { describe, test, expect } from 'vitest';
+import { tokenize_tex } from '../src/tex-tokenizer';
+import { LatexParserError, parseTex } from '../src/tex-parser';
+import { TexToken, TexTokenType } from '../src/tex-types';
+
+
+describe('typst-tokenizer', () => {
+    test('a + b', function () {
+        const res = tokenize_tex('a + b');
+        expect(res).toEqual([
+            new TexToken(TexTokenType.ELEMENT, 'a'),
+            new TexToken(TexTokenType.SPACE, ' '),
+            new TexToken(TexTokenType.ELEMENT, '+'),
+            new TexToken(TexTokenType.SPACE, ' '),
+            new TexToken(TexTokenType.ELEMENT, 'b'),
+        ]);
+    });
+
+    test('a (x)', function () {
+        const res = tokenize_tex('a (x)');
+        expect(res).toEqual([
+            new TexToken(TexTokenType.ELEMENT, 'a'),
+            new TexToken(TexTokenType.SPACE, ' '),
+            new TexToken(TexTokenType.ELEMENT, '('),
+            new TexToken(TexTokenType.ELEMENT, 'x'),
+            new TexToken(TexTokenType.ELEMENT, ')'),
+        ]);
+    });
+
+    test('f(x)', function () {
+        const res = tokenize_tex('f(x)');
+        expect(res).toEqual([
+            new TexToken(TexTokenType.ELEMENT, 'f'),
+            new TexToken(TexTokenType.ELEMENT, '('),
+            new TexToken(TexTokenType.ELEMENT, 'x'),
+            new TexToken(TexTokenType.ELEMENT, ')'),
+        ]);
+    });
+
+    test('comment', function() {
+        const res = tokenize_tex('a % comment');
+        expect(res).toEqual([
+            new TexToken(TexTokenType.ELEMENT, 'a'),
+            new TexToken(TexTokenType.SPACE, ' '),
+            new TexToken(TexTokenType.COMMENT, ' comment'),
+        ]);
+    });
+
+    test('macro', function() {
+        const res = tokenize_tex('\\sqrt{a}');
+        expect(res).toEqual([
+            new TexToken(TexTokenType.COMMAND, '\\sqrt'),
+            new TexToken(TexTokenType.CONTROL, '{'),
+            new TexToken(TexTokenType.ELEMENT, 'a'),
+            new TexToken(TexTokenType.CONTROL, '}'),
+        ]);
+    });
+
+    test('throw error on & outside of an alignment', function() {
+        expect(() => parseTex('a & b')).toThrow();
+    });
+
+    test('throw on missing ] for sqrt', function() {
+        const input = '\\sqrt[3{x}';
+        expect(() => parseTex(input)).toThrowError(LatexParserError.UNMATCHED_LEFT_BRACKET);
+    });
+
+    test('throw on extra {', function() {
+        const input = 'a { {b}';
+        expect(() => parseTex(input)).toThrowError(LatexParserError.UNMATCHED_LEFT_BRACE);
+    });
+
+    test('throw on extra }', function() {
+        const input = 'a { b } }';
+        expect(() => parseTex(input)).toThrowError(LatexParserError.UNMATCHED_RIGHT_BRACE);
+    });
+
+    test('throw on extra \\left', function() {
+        const input = 'a \\left( \\left( b \\right)';
+        expect(() => parseTex(input)).toThrowError(LatexParserError.UNMATCHED_COMMAND_LEFT);
+    });
+
+    test('throw on extra \\right', function() {
+        const input = 'a \\left( b \\right) \\right)';
+        expect(() => parseTex(input)).toThrowError(LatexParserError.UNMATCHED_COMMAND_RIGHT);
+    });
+
+    test('throw on extra \\begin', function() {
+        const input = 'a \\begin{aligned} \\begin{aligned} b \\end{aligned}';
+        expect(() => parseTex(input)).toThrowError(LatexParserError.UNMATCHED_COMMAND_BEGIN);
+    });
+
+    test('throw on extra \\end', function() {
+        const input = 'a \\begin{aligned} b \\end{aligned} \\end{aligned}';
+        expect(() => parseTex(input)).toThrowError(LatexParserError.UNMATCHED_COMMAND_END);
+    });
+});