tex2typst 0.3.27-beta.1 → 0.3.28

package/tests/struct-tex2typst.yaml

@@ -0,0 +1,463 @@
+# 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: lparen rparen
+    tex: \left\lparen \frac{1}{3} \right\rparen
+    typst: lr(paren.l 1/3 paren.r)
+  - title: lbrace rbrace
+    tex: \left\lbrace \frac{1}{3} \right\rbrace
+    typst: lr(brace.l 1/3 brace.r)
+  - 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: "{}"
+  - title: command displaylines is ignored
+    tex: |-
+      \displaylines{
+        E = mc^2 \\
+        F = ma \\
+        P = IV
+      }
+    typst: |-
+      E = m c^2 \
+      F = m a \
+      P = I V
+  - title: command mathinner is ignored
+    tex: ab\mathinner{\text{inside}}cd
+    typst: a b "inside" c d