texmath 0.12.8.4 → 0.12.8.5

raw patch · 45 files changed

+106/−84 lines, 45 filesdep ~typst-symbolsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: typst-symbols

API changes (from Hackage documentation)

Files

• changelog +12/−0
• src/Text/TeXMath/Writers/Typst.hs +15/−5
• test/writer/typst/01.test +1/−1
• test/writer/typst/02.test +1/−1
• test/writer/typst/03.test +1/−1
• test/writer/typst/04.test +1/−1
• test/writer/typst/05.test +1/−1
• test/writer/typst/06.test +1/−1
• test/writer/typst/07.test +1/−1
• test/writer/typst/08.test +1/−1
• test/writer/typst/09.test +1/−1
• test/writer/typst/10.test +1/−1
• test/writer/typst/11.test +1/−1
• test/writer/typst/12.test +1/−1
• test/writer/typst/13.test +1/−1
• test/writer/typst/17.test +1/−1
• test/writer/typst/21.test +1/−1
• test/writer/typst/23.test +1/−1
• test/writer/typst/binomial_coefficient.test +1/−1
• test/writer/typst/boxed.test +1/−1
• test/writer/typst/chain2.test +1/−1
• test/writer/typst/choose.test +1/−1
• test/writer/typst/complex1.test +16/−16
• test/writer/typst/complex2.test +15/−15
• test/writer/typst/complex_number.test +1/−1
• test/writer/typst/coprod2.test +1/−1
• test/writer/typst/deMorgans_law.test +1/−1
• test/writer/typst/differentiable_manifold.test +2/−2
• test/writer/typst/divergence.test +1/−1
• test/writer/typst/largeopPos3.test +1/−1
• test/writer/typst/math-in-text.test +1/−1
• test/writer/typst/moore_determinant.test +1/−1
• test/writer/typst/nestFrac1.test +1/−1
• test/writer/typst/primes1.test +1/−1
• test/writer/typst/primes2.test +1/−1
• test/writer/typst/prod2.test +1/−1
• test/writer/typst/schwinger_dyson.test +1/−1
• test/writer/typst/simple_sum_formula.test +1/−1
• test/writer/typst/sophomores_dream.test +1/−1
• test/writer/typst/sphere_volume.test +5/−5
• test/writer/typst/substack.test +2/−2
• test/writer/typst/subsup.test +1/−1
• test/writer/typst/sum1.test +1/−1
• test/writer/typst/unicode.test +1/−1
• texmath.cabal +2/−2

@@ -1,3 +1,15 @@+texmath (0.12.8.5)++  * Typst writer: use ASCII symbols when possible instead of symbols (#232).+    E.g., `+` instead of `plus`. Add `\` to characters needing escape.+    Enhance list of characters that need escaping.++  * Typst writer: fixed EBoxed output so it includes a border.++  * Handle `\ddot` better in conversion to typst (#231).++  * Use typst-symbols 0.1.5+ texmath (0.12.8.4)    * TeX reader: ignore `\allowbreak` (#230).

@@ -28,7 +28,8 @@ import Typst.Symbols (typstSymbols) import Data.Generics (everywhere, mkT) import Data.Text (Text)-import Data.Char (isDigit, isAlpha)+import Data.Char (isDigit, isAlpha, isAscii)+import Data.Maybe (fromMaybe)  -- import Debug.Trace -- tr' x = trace (show x) x@@ -64,6 +65,11 @@     needsEscape '(' = True     needsEscape ')' = True     needsEscape '_' = True+    needsEscape '*' = True+    needsEscape '^' = True+    needsEscape '"' = True+    needsEscape '/' = True+    needsEscape '\\' = True     needsEscape _ = False  escInQuotes :: Text -> Text@@ -92,8 +98,10 @@  writeExp :: Exp -> Text writeExp (ENumber s) = s-writeExp (ESymbol _t s) =-  maybe (esc s) id $ M.lookup s typstSymbolMap+writeExp (ESymbol _t s)+  | T.all isAscii s = esc s  -- use '+' not 'plus'+  | s == "\x2212" = "-" -- use '-' not 'minus'+  | otherwise = fromMaybe (esc s) $ M.lookup s typstSymbolMap writeExp (EIdentifier s) =   if T.length s == 1      then writeExp (ESymbol Ord s)@@ -206,7 +214,7 @@        TextBoldScript -> "bold" <> inParens ("cal" <> inParens contents)        TextBoldFraktur -> "bold" <> inParens ("frak" <> inParens contents)        TextSansSerifItalic -> "italic" <> inParens ("sans" <> inParens contents)-writeExp (EBoxed e) = "#box([" <> writeExp e <> "])"+writeExp (EBoxed e) = "#box(stroke: black, inset: 3pt, [$ " <> writeExp e <> " $])" writeExp (EPhantom e) = "#hide[" <> writeExp e <> "]" writeExp (EScaled size e) =   "#scale(x: " <> tshow (floor (100 * size) :: Int) <>@@ -263,4 +271,6 @@ tshow = T.pack . show  typstSymbolMap :: M.Map Text Text-typstSymbolMap = M.fromList [(s,name) | (name, _, s) <- typstSymbols]+typstSymbolMap = M.fromList $+  ("\776", "dot.double") -- see #231+  : [(s,name) | (name, _, s) <- typstSymbols]

@@ -19,4 +19,4 @@     (EGrouped [ ENumber "2" , EIdentifier "a" ]) ] >>> typst-x eq frac(minus b plus.minus sqrt(b^2 minus 4 a c), 2 a)+x = frac(- b plus.minus sqrt(b^2 - 4 a c), 2 a)

@@ -22,4 +22,4 @@     ] ] >>> typst-2 eq lr((frac(lr((3 minus x)) times 2, 3 minus x)))+2 = lr((frac(lr((3 - x)) times 2, 3 - x)))

@@ -10,4 +10,4 @@ , ENumber "0" ] >>> typst-a x^2 plus b x plus c eq 0+a x^2 + b x + c = 0

@@ -17,4 +17,4 @@     (ENumber "2") ] >>> typst-S_(upright("new")) eq S_(upright("old")) minus lr((5 minus T))^2 / 2+S_(upright("new")) = S_(upright("old")) - lr((5 - T))^2 / 2

@@ -28,4 +28,4 @@ , EIdentifier "y" ] >>> typst-integral_a^x #h(-1em) #h(-1em) #h(-1em) integral_a^s f lr((y)) thin d y thin d s eq integral_a^x f lr((y)) lr((x minus y)) thin d y+integral_a^x #h(-1em) #h(-1em) #h(-1em) integral_a^s f lr((y)) thin d y thin d s = integral_a^x f lr((y)) lr((x - y)) thin d y

@@ -32,4 +32,4 @@        ]) ] >>> typst-sum_(m eq 1)^oo sum_(n eq 1)^oo frac(m^2 thin n, 3^m lr((m thin 3^n plus n thin 3^m)))+sum_(m = 1)^oo sum_(n = 1)^oo frac(m^2 thin n, 3^m lr((m thin 3^n + n thin 3^m)))

@@ -20,4 +20,4 @@ , EIdentifier "a" ] >>> typst-u prime.double plus p lr((x)) u prime plus q lr((x)) u eq f lr((x)) comma quad x gt a+u prime.double + p lr((x)) u prime + q lr((x)) u = f lr((x)) , quad x > a

@@ -30,4 +30,4 @@ , EDelimited "(" ")" [ Right (EIdentifier "z") ] ] >>> typst-lr(|z^(‾)|) eq lr(|z|) comma lr(|lr((z^(‾)))^n|) eq lr(|z|)^n comma arg lr((z^n)) eq n arg lr((z))+lr(|z^(‾)|) = lr(|z|) , lr(|lr((z^(‾)))^n|) = lr(|z|)^n , arg lr((z^n)) = n arg lr((z))

@@ -15,4 +15,4 @@     "(" ")" [ Right (ESub (EIdentifier "z") (ENumber "0")) ] ] >>> typst-lim_(z arrow.r z_0) f lr((z)) eq f lr((z_0))+lim_(z arrow.r z_0) f lr((z)) = f lr((z_0))

@@ -42,4 +42,4 @@ , EIdentifier "R" ] >>> typst-phi.alt_n lr((kappa)) eq frac(1, 4 pi^2 kappa^2) integral_0^oo frac(sin lr((kappa R)), kappa R) frac(diff, diff R) lr([R^2 frac(diff D_n lr((R)), diff R)]) thin d R+phi.alt_n lr((kappa)) = frac(1, 4 pi^2 kappa^2) integral_0^oo frac(sin lr((kappa R)), kappa R) frac(diff, diff R) lr([R^2 frac(diff D_n lr((R)), diff R)]) thin d R

@@ -23,4 +23,4 @@     NormalFrac (ENumber "1") (ESub (EIdentifier "l") (ENumber "0")) ] >>> typst-phi.alt_n lr((kappa)) eq 0.033 C_n^2 kappa^(minus 11 slash 3) comma quad 1 / L_0 lt.double kappa lt.double 1 / l_0+phi.alt_n lr((kappa)) = 0.033 C_n^2 kappa^(- 11 \/ 3) , quad 1 / L_0 lt.double kappa lt.double 1 / l_0

@@ -30,4 +30,4 @@     ] ] >>> typst-f lr((x)) eq cases(delim: "{", 1 & minus 1 lt.eq x lt 0, 1 / 2 & x eq 0, 1 minus x^2 & upright("otherwise"))+f lr((x)) = cases(delim: "{", 1 & - 1 lt.eq x < 0, 1 / 2 & x = 0, 1 - x^2 & upright("otherwise"))

@@ -54,4 +54,4 @@     (EGrouped [ EIdentifier "n" , ESymbol Ord "!" ]) ] >>> typst-zws_p F_q lr((a_1 comma dots.h comma a_p semi c_1 comma dots.h comma c_q semi z)) eq sum_(n eq 0)^oo frac(lr((a_1))_n dots.h.c lr((a_p))_n, lr((c_1))_n dots.h.c lr((c_q))_n) frac(z^n, n excl)+zws_p F_q lr((a_1 , dots.h , a_p ; c_1 , dots.h , c_q ; z)) = sum_(n = 0)^oo frac(lr((a_1))_n dots.h.c lr((a_p))_n, lr((c_1))_n dots.h.c lr((c_q))_n) frac(z^n, n !)

@@ -8,4 +8,4 @@ , EIdentifier "x" ] >>> typst-x ast.basic 4 eq 4 ast.basic x+x \* 4 = 4 \* x

@@ -6,4 +6,4 @@ , ESuper (EIdentifier "c") (ENumber "22") ] >>> typst-e_1 eq b^2 plus c^22+e_1 = b^2 + c^22

@@ -1,4 +1,4 @@ <<< native [ ENumber "1" , ESymbol Ord "." ] >>> typst-1 dot.basic+1 .

@@ -40,4 +40,4 @@        ]) ] >>> typst-bold(C) lr((n comma k)) eq bold(C)_k^n eq zws_n bold(C)_k eq binom(n, k) eq frac(n excl, k excl thin lr((n minus k)) excl)+bold(C) lr((n , k)) = bold(C)_k^n = zws_n bold(C)_k = binom(n, k) = frac(n !, k ! thin lr((n - k)) !)

@@ -9,4 +9,4 @@        ]) ] >>> typst-#box([x^2 plus y^2 plus z^2])+#box(stroke: black, inset: 3pt, [$ x^2 + y^2 + z^2 $])

@@ -49,4 +49,4 @@ , EIdentifier "x" ] >>> typst-integral_0^1 f lr((x)) #h(0em) ⅆ x eq sum_(i eq 0)^oo x_i eq product_(i eq 0)^oo x_i eq product.co_(i eq 0)^oo x_i eq integral.cont_0^1 f lr((x)) #h(0em) ⅆ x eq integral.double_0^1 f lr((x)) #h(0em) ⅆ x eq integral.triple_0^1 f lr((x)) #h(0em) ⅆ x+integral_0^1 f lr((x)) #h(0em) ⅆ x = sum_(i = 0)^oo x_i = product_(i = 0)^oo x_i = product.co_(i = 0)^oo x_i = integral.cont_0^1 f lr((x)) #h(0em) ⅆ x = integral.double_0^1 f lr((x)) #h(0em) ⅆ x = integral.triple_0^1 f lr((x)) #h(0em) ⅆ x

@@ -18,4 +18,4 @@     ] ] >>> typst-binom(a, lr({frac(b, c plus 2)}))+binom(a, lr({frac(b, c + 2)}))

@@ -601,22 +601,22 @@     ] ] >>> typst-upright("Bernoulli Trials") & P paren.l E paren.r eq lr((n / k)) p_()^k paren.l 1 hyph.minus p paren.r_()^(n hyph.minus k)\-upright("Cauchy-Schwarz Inequality") & lr((sum_(k eq 1)^n a_k^() b_k^()))_()^2 lt.eq lr((sum_(k eq 1)^n a_k^2)) lr((sum_(k eq 1)^n b_k^2))\-upright("Cauchy Formula") & f paren.l z paren.r thin dot.c "Ind"_gamma^() paren.l z paren.r eq frac(1, 2 pi i) integral.cont_gamma^() frac(f paren.l xi paren.r, xi hyph.minus z) thin d xi\-upright("Cross Product") & V_1^() times V_2^() eq mat(delim: "|", i, j, k; frac(diff X, diff u), frac(diff Y, diff u), 0; frac(diff X, diff v), frac(diff Y, diff v), 0)\-upright("Vandermonde Determinant") & mat(delim: "|", 1, 1, dots.h.c, 1; v_1^(), v_2^(), dots.h.c, v_n^(); v_1^2, v_2^2, dots.h.c, v_n^2; dots.v, dots.v, dots.down, dots.v; v_1^(n hyph.minus 1), v_2^(n hyph.minus 1), dots.h.c, v_n^(n hyph.minus 1)) eq product_(1 lt.eq i lt j lt.eq n)^() paren.l v_j^() hyph.minus v_i^() paren.r\-upright("Lorenz Equations") & x^(˙)_() & eq & sigma paren.l y hyph.minus x paren.r\-y^(˙)_() & eq & rho x hyph.minus y hyph.minus x z\-z^(˙)_() & eq & hyph.minus beta z plus x y\-upright("Maxwell's Equations") & {nabla zws times B^harpoon.lt_() hyph.minus thin 1 / c thin frac(diff zws E^harpoon.lt_(), diff zws t) & eq & frac(4 pi, c) thin j^harpoon.lt_()\-nabla zws dot.c E^harpoon.lt_() & eq & 4 pi rho\-nabla zws times E^harpoon.lt_() thin plus thin 1 / c thin frac(diff zws B^harpoon.lt_(), diff zws t) & eq & 0^harpoon.lt_()\-nabla zws dot.c B^harpoon.lt_() & eq & 0\-upright("Einstein Field Equations") & R_(mu nu)^() hyph.minus 1 / 2 thin g_(mu nu)^() thin R eq frac(8 pi G, c_()^4) thin T_(mu nu)^()\-upright("Ramanujan Identity") & frac(1, paren.l sqrt(phi sqrt(5)) hyph.minus phi paren.r e_()^(25 / pi)) eq 1 plus frac(e_()^(hyph.minus 2 pi), 1 plus frac(e_()^(hyph.minus 4 pi), 1 plus frac(e_()^(hyph.minus 6 pi), 1 plus frac(e_()^(hyph.minus 8 pi), 1 plus dots.h))))\-upright("Another Ramanujan identity") & sum_(k eq 1)^oo 1 / 2_()^(⌊ k dot.c zws phi ⌋) eq frac(1, 2_()^0 plus frac(1, 2_()^1 plus dots.h.c))\-upright("Rogers-Ramanujan Identity") & 1 plus sum_(k eq 1)^oo frac(q_()^(k_()^2 plus k), paren.l 1 hyph.minus q paren.r paren.l 1 hyph.minus q_()^2 paren.r dots.h.c paren.l 1 hyph.minus q_()^k paren.r) eq product_(j eq 0)^oo frac(1, paren.l 1 hyph.minus q_()^(5 j plus 2) paren.r paren.l 1 hyph.minus q_()^(5 j plus 3) paren.r) comma upright("  ") upright("  ") f o r med bar.v q bar.v lt 1 dot.basic\+upright("Bernoulli Trials") & P \( E \) = lr((n / k)) p_()^k \( 1 - p \)_()^(n - k)\+upright("Cauchy-Schwarz Inequality") & lr((sum_(k = 1)^n a_k^() b_k^()))_()^2 lt.eq lr((sum_(k = 1)^n a_k^2)) lr((sum_(k = 1)^n b_k^2))\+upright("Cauchy Formula") & f \( z \) thin dot.c "Ind"_gamma^() \( z \) = frac(1, 2 pi i) integral.cont_gamma^() frac(f \( xi \), xi - z) thin d xi\+upright("Cross Product") & V_1^() times V_2^() = mat(delim: "|", i, j, k; frac(diff X, diff u), frac(diff Y, diff u), 0; frac(diff X, diff v), frac(diff Y, diff v), 0)\+upright("Vandermonde Determinant") & mat(delim: "|", 1, 1, dots.h.c, 1; v_1^(), v_2^(), dots.h.c, v_n^(); v_1^2, v_2^2, dots.h.c, v_n^2; dots.v, dots.v, dots.down, dots.v; v_1^(n - 1), v_2^(n - 1), dots.h.c, v_n^(n - 1)) = product_(1 lt.eq i < j lt.eq n)^() \( v_j^() - v_i^() \)\+upright("Lorenz Equations") & x^(˙)_() & = & sigma \( y - x \)\+y^(˙)_() & = & rho x - y - x z\+z^(˙)_() & = & - beta z + x y\+upright("Maxwell's Equations") & {nabla zws times B^harpoon.lt_() - thin 1 / c thin frac(diff zws E^harpoon.lt_(), diff zws t) & = & frac(4 pi, c) thin j^harpoon.lt_()\+nabla zws dot.c E^harpoon.lt_() & = & 4 pi rho\+nabla zws times E^harpoon.lt_() thin + thin 1 / c thin frac(diff zws B^harpoon.lt_(), diff zws t) & = & 0^harpoon.lt_()\+nabla zws dot.c B^harpoon.lt_() & = & 0\+upright("Einstein Field Equations") & R_(mu nu)^() - 1 / 2 thin g_(mu nu)^() thin R = frac(8 pi G, c_()^4) thin T_(mu nu)^()\+upright("Ramanujan Identity") & frac(1, \( sqrt(phi sqrt(5)) - phi \) e_()^(25 / pi)) = 1 + frac(e_()^(- 2 pi), 1 + frac(e_()^(- 4 pi), 1 + frac(e_()^(- 6 pi), 1 + frac(e_()^(- 8 pi), 1 + dots.h))))\+upright("Another Ramanujan identity") & sum_(k = 1)^oo 1 / 2_()^(⌊ k dot.c zws phi ⌋) = frac(1, 2_()^0 + frac(1, 2_()^1 + dots.h.c))\+upright("Rogers-Ramanujan Identity") & 1 + sum_(k = 1)^oo frac(q_()^(k_()^2 + k), \( 1 - q \) \( 1 - q_()^2 \) dots.h.c \( 1 - q_()^k \)) = product_(j = 0)^oo frac(1, \( 1 - q_()^(5 j + 2) \) \( 1 - q_()^(5 j + 3) \)) , upright("  ") upright("  ") f o r med \| q \| < 1 .\ upright("Commutative Diagram") & H & arrow.l & K\ arrow.b & zws & arrow.t\ H & arrow.r & K

@@ -391,18 +391,18 @@     ] ] >>> typst-upright("Quadratic Equation") & x eq frac(hyph.minus b plus.minus sqrt(b_()^2 hyph.minus 4 a c), 2 a)\-upright("DisplayQuadratic Equation") & x eq frac(hyph.minus b plus.minus sqrt(b_()^2 hyph.minus 4 a c), 2 a)\-upright("Rational Function") & f paren.l x paren.r eq frac(1 hyph.minus x_()^2, 1 hyph.minus x_()^3)\-upright("Rational Function") & f paren.l x paren.r eq frac(paren.l 1 hyph.minus x_()^2 paren.r x_()^3, 1 hyph.minus x_()^3)\-upright("Rational Function") & f paren.l x paren.r eq frac(paren.l 1 hyph.minus x_()^2 paren.r paren.l x_()^3 hyph.minus 5 x paren.r, 1 hyph.minus x_()^3)\-upright("Parametrize Rational Function") & f paren.l x paren.r eq frac(paren.l a_i^() hyph.minus x_()^2 paren.r_()^5, 1 hyph.minus x_()^3)\-upright("Stacked exponents") & g paren.l z paren.r eq e_()^(hyph.minus x_()^2)\-upright("Stacked exponents") & g paren.l z paren.r eq e_()^(hyph.minus paren.l z hyph.minus a paren.r_()^2)\-upright("Stacked exponents") & g paren.l z paren.r eq e_()^(hyph.minus sum_(i eq 0)^oo z_i^2)\-upright("Stacked exponents") & g paren.l y paren.r eq e_()^(hyph.minus sum_(i eq 0)^oo y_i^2)\-upright("Stacked exponents") & g paren.l z paren.r eq e_()^(hyph.minus sum_(i eq 0)^oo z_()^(frac(2, a hyph.minus i)))\-upright("Cross Product") & frac(x_1^() hyph.minus x_2^(), x_3^() hyph.minus x_4^()) frac(x_1^() hyph.minus x_4^(), x_2^() hyph.minus x_3^())\-upright("Cross Product") & paren.l frac(x_1^() hyph.minus x_2^(), x_3^() hyph.minus x_4^()) paren.r paren.l frac(x_1^() hyph.minus x_4^(), x_2^() hyph.minus x_3^()) paren.r\-upright("Cross Product") & lr((frac(x_1^() hyph.minus x_2^(), x_3^() hyph.minus x_4^()))) lr((frac(x_1^() hyph.minus x_4^(), x_2^() hyph.minus x_3^())))\-upright("Cross Product") & frac(paren.l x_1^() hyph.minus x_2^() paren.r paren.l x_3^() hyph.minus x_4^() paren.r, paren.l x_1^() hyph.minus x_4^() paren.r paren.l x_2^() hyph.minus x_3^() paren.r)+upright("Quadratic Equation") & x = frac(- b plus.minus sqrt(b_()^2 - 4 a c), 2 a)\+upright("DisplayQuadratic Equation") & x = frac(- b plus.minus sqrt(b_()^2 - 4 a c), 2 a)\+upright("Rational Function") & f \( x \) = frac(1 - x_()^2, 1 - x_()^3)\+upright("Rational Function") & f \( x \) = frac(\( 1 - x_()^2 \) x_()^3, 1 - x_()^3)\+upright("Rational Function") & f \( x \) = frac(\( 1 - x_()^2 \) \( x_()^3 - 5 x \), 1 - x_()^3)\+upright("Parametrize Rational Function") & f \( x \) = frac(\( a_i^() - x_()^2 \)_()^5, 1 - x_()^3)\+upright("Stacked exponents") & g \( z \) = e_()^(- x_()^2)\+upright("Stacked exponents") & g \( z \) = e_()^(- \( z - a \)_()^2)\+upright("Stacked exponents") & g \( z \) = e_()^(- sum_(i = 0)^oo z_i^2)\+upright("Stacked exponents") & g \( y \) = e_()^(- sum_(i = 0)^oo y_i^2)\+upright("Stacked exponents") & g \( z \) = e_()^(- sum_(i = 0)^oo z_()^(frac(2, a - i)))\+upright("Cross Product") & frac(x_1^() - x_2^(), x_3^() - x_4^()) frac(x_1^() - x_4^(), x_2^() - x_3^())\+upright("Cross Product") & \( frac(x_1^() - x_2^(), x_3^() - x_4^()) \) \( frac(x_1^() - x_4^(), x_2^() - x_3^()) \)\+upright("Cross Product") & lr((frac(x_1^() - x_2^(), x_3^() - x_4^()))) lr((frac(x_1^() - x_4^(), x_2^() - x_3^())))\+upright("Cross Product") & frac(\( x_1^() - x_2^() \) \( x_3^() - x_4^() \), \( x_1^() - x_4^() \) \( x_2^() - x_3^() \))

@@ -24,4 +24,4 @@     (EText TextNormal "complex number") ] >>> typst-c eq overbrace(underbrace(a, upright("real")) plus underbrace(b upright(i), upright("imaginary")), upright("complex number"))+c = overbrace(underbrace(a, upright("real")) + underbrace(b upright(i), upright("imaginary")), upright("complex number"))

@@ -7,4 +7,4 @@ , ESub (EIdentifier "x") (EIdentifier "i") ] >>> typst-product.co_(i eq 0)^oo x_i+product.co_(i = 0)^oo x_i

@@ -36,4 +36,4 @@     (ESymbol TOver "\175") ] >>> typst-not lr((p and q)) arrow.l.r.double lr((not p)) or lr((not q)) overline(union.big_(i eq 1)^n A_i) eq sect.big_(i eq 1)^n overline(A_i)+not lr((p and q)) arrow.l.r.double lr((not p)) or lr((not q)) overline(union.big_(i = 1)^n A_i) = sect.big_(i = 1)^n overline(A_i)

@@ -59,5 +59,5 @@     ] ] >>> typst-gamma_1 equiv gamma_2 arrow.l.r.double {gamma_1 lr((0)) eq gamma_2 lr((0)) eq p comma upright(" and ")\-frac(upright(d), upright(d) t) phi.alt compose gamma_1 lr((t))\|_(t eq 0) eq frac(upright(d), upright(d) t) phi.alt compose gamma_2 lr((t))\|_(t eq 0)+gamma_1 equiv gamma_2 arrow.l.r.double {gamma_1 lr((0)) = gamma_2 lr((0)) = p , upright(" and ")\+frac(upright(d), upright(d) t) phi.alt circle.stroked.tiny gamma_1 lr((t))\|_(t = 0) = frac(upright(d), upright(d) t) phi.alt circle.stroked.tiny gamma_2 lr((t))\|_(t = 0)

@@ -22,4 +22,4 @@     (EGrouped [ ESymbol Ord "\8706" , EIdentifier "z" ]) ] >>> typst-nabla dot.op arrow(v) eq frac(diff v_x, diff x) plus frac(diff v_y, diff y) plus frac(diff v_z, diff z)+nabla dot.op arrow(v) = frac(diff v_x, diff x) + frac(diff v_y, diff y) + frac(diff v_z, diff z)

@@ -8,4 +8,4 @@     [ EIdentifier "A" , ESymbol Bin "\8745" , EIdentifier "B" ] ] >>> typst-sect.big_(i eq 0)^oo A sect B+sect.big_(i = 0)^oo A sect B

@@ -17,4 +17,4 @@     ] ] >>> typst-X^2 eq y upright(" under ") H_0 upright(" except when ") x bold(" is less than ") z bold(".")+X^2 = y upright(" under ") H_0 upright(" except when ") x bold(" is less than ") z bold(".")

@@ -51,4 +51,4 @@     ] ] >>> typst-M eq mat(delim: "[", alpha_1, alpha_1^q, dots.h.c, alpha_1^(q^(n minus 1)); alpha_2, alpha_2^q, dots.h.c, alpha_2^(q^(n minus 1)); dots.v, dots.v, dots.down, dots.v; alpha_m, alpha_m^q, dots.h.c, alpha_m^(q^(n minus 1)))+M = mat(delim: "[", alpha_1, alpha_1^q, dots.h.c, alpha_1^(q^(n - 1)); alpha_2, alpha_2^q, dots.h.c, alpha_2^(q^(n - 1)); dots.v, dots.v, dots.down, dots.v; alpha_m, alpha_m^q, dots.h.c, alpha_m^(q^(n - 1)))

@@ -34,4 +34,4 @@        ]) ] >>> typst-frac(1, sqrt(2) plus frac(1, sqrt(3) plus frac(1, sqrt(4) plus frac(1, sqrt(5) plus frac(1, sqrt(6) plus dots.h)))))+frac(1, sqrt(2) + frac(1, sqrt(3) + frac(1, sqrt(4) + frac(1, sqrt(5) + frac(1, sqrt(6) + dots.h)))))

@@ -37,4 +37,4 @@ , ESuper (ESymbol Accent "'") (ESymbol Accent "'") ] >>> typst-x^2 plus 2^2 plus x^prime plus x^quote.single plus x^("''") plus x prime plus x^quote.single^quote.single plus x^quote.single^2 plus x^(quote.single plus quote.single) plus x^quote.single^quote.single plus x^(quote.single^quote.single) plus quote.single^quote.single plus quote.single^quote.single+x^2 + 2^2 + x^prime + x^(') + x^("''") + x prime + x^(')^(') + x^(')^2 + x^(' + ') + x^(')^(') + x^('^(')) + '^(') + '^(')

@@ -27,4 +27,4 @@ , ESuper (EIdentifier "H") (ESymbol Accent "\8279") ] >>> typst-H^quote.double H^quote.single H^ast.basic H^grave H^ª H^degree H^(²) H^(³) H^acute H^(¹) H^º H^quote.l.single H^quote.r.single H^quote.low.single H^quote.high.single H^quote.l.double H^quote.r.double H^quote.low.double H^quote.high.double H^prime H^prime.double H^prime.triple H^prime.rev H^prime.double.rev H^prime.triple.rev H^prime.quad+H^(\") H^(') H^(\*) H^(`) H^ª H^degree H^(²) H^(³) H^acute H^(¹) H^º H^quote.l.single H^quote.r.single H^quote.low.single H^quote.high.single H^quote.l.double H^quote.r.double H^quote.low.double H^quote.high.double H^prime H^prime.double H^prime.triple H^prime.rev H^prime.double.rev H^prime.triple.rev H^prime.quad

@@ -7,4 +7,4 @@ , ESub (EIdentifier "x") (EIdentifier "i") ] >>> typst-product_(i eq 0)^oo x_i+product_(i = 0)^oo x_i

@@ -54,4 +54,4 @@     ] ] >>> typst-⟨psi lr(|cal(T) lr({frac(delta, delta phi.alt) F lr([phi.alt])})|) psi⟩ eq minus upright(i) ⟨psi lr(|cal(T) lr({F lr([phi.alt]) frac(delta, delta phi.alt) S lr([phi.alt])})|) psi⟩+⟨psi lr(|cal(T) lr({frac(delta, delta phi.alt) F lr([phi.alt])})|) psi⟩ = - upright(i) ⟨psi lr(|cal(T) lr({F lr([phi.alt]) frac(delta, delta phi.alt) S lr([phi.alt])})|) psi⟩

@@ -12,4 +12,4 @@     (ENumber "2") ] >>> typst-sum_(i eq 1)^100 x eq frac(100 ast.basic 101, 2)+sum_(i = 1)^100 x = frac(100 \* 101, 2)

@@ -22,4 +22,4 @@     ] ] >>> typst-integral_0^1 x^x thin upright(d) x eq sum_(n eq 1)^oo lr((minus 1))^(n plus 1) thin n^(minus n)+integral_0^1 x^x thin upright(d) x = sum_(n = 1)^oo lr((- 1))^(n + 1) thin n^(- n)

@@ -126,8 +126,8 @@     ] ] >>> typst-S eq brace.l 0 lt.eq phi.alt lt.eq 2 pi comma med 0 lt.eq theta lt.eq pi comma med 0 lt.eq rho lt.eq R brace.r upright(V o l u m e) & eq integral.triple_S #h(-1em) rho^2 sin theta thin upright(d) rho thin upright(d) theta thin upright(d) phi.alt\- & eq integral_0^(2 pi) #h(-1em) upright(d) phi.alt thin integral_0^pi #h(-1em) sin theta thin upright(d) theta thin integral_0^R #h(-1em) rho^2 upright(d) rho\- & eq phi.alt #scale(x: 180%, y: 180%)[bar.v]_0^(2 pi) med lr((minus cos theta)) #scale(x: 180%, y: 180%)[bar.v]_0^pi med 1 / 3 rho^3 #scale(x: 180%, y: 180%)[bar.v]_0^R\- & eq 2 pi times 2 times 1 / 3 R^3\- & eq 4 / 3 pi R^3+S = { 0 lt.eq phi.alt lt.eq 2 pi , med 0 lt.eq theta lt.eq pi , med 0 lt.eq rho lt.eq R } upright(V o l u m e) & = integral.triple_S #h(-1em) rho^2 sin theta thin upright(d) rho thin upright(d) theta thin upright(d) phi.alt\+ & = integral_0^(2 pi) #h(-1em) upright(d) phi.alt thin integral_0^pi #h(-1em) sin theta thin upright(d) theta thin integral_0^R #h(-1em) rho^2 upright(d) rho\+ & = phi.alt #scale(x: 180%, y: 180%)[\|]_0^(2 pi) med lr((- cos theta)) #scale(x: 180%, y: 180%)[\|]_0^pi med 1 / 3 rho^3 #scale(x: 180%, y: 180%)[\|]_0^R\+ & = 2 pi times 2 times 1 / 3 R^3\+ & = 4 / 3 pi R^3

@@ -33,5 +33,5 @@     ] ] >>> typst-sum_(0 lt i lt m\-0 lt j lt n) P lr((i comma j))+sum_(0 < i < m\+0 < j < n) P lr((i , j))

@@ -65,4 +65,4 @@ , ESubsup (ESpace (1 % 1)) (EIdentifier "x") (ENumber "3") ] >>> typst-x_b^a quad x_b^a quad min_A quad max_B quad det_C quad Pr_A quad gcd_A quad dot(u)^2 quad overline(u)_epsilon quad underline(u)_b^a quad overbrace(a plus b, upright("term")) quad overbracket(a plus b, c) quad underbrace(a plus b, c) quad a plus b_bracket.b_c quad^H e 3 quad_x A quad_x^3+x_b^a quad x_b^a quad min_A quad max_B quad det_C quad Pr_A quad gcd_A quad dot(u)^2 quad overline(u)_epsilon quad underline(u)_b^a quad overbrace(a + b, upright("term")) quad overbracket(a + b, c) quad underbrace(a + b, c) quad a + b_bracket.b_c quad^H e 3 quad_x A quad_x^3

@@ -7,4 +7,4 @@ , ESub (EIdentifier "x") (EIdentifier "i") ] >>> typst-sum_(i eq 0)^oo x_i+sum_(i = 0)^oo x_i

@@ -6,4 +6,4 @@ , EIdentifier "Y" ] >>> typst-f colon X arrow.r Y+f : X arrow.r Y

@@ -1,5 +1,5 @@ Name:                texmath-Version:             0.12.8.4+Version:             0.12.8.5 Cabal-Version:       >= 1.10 Build-type:          Simple Synopsis:            Conversion between math formats.@@ -80,7 +80,7 @@                          pandoc-types >= 1.20 && < 1.24,                          mtl >= 2.2.1,                          text,-                         typst-symbols >= 0.1.4 && < 0.1.5,+                         typst-symbols >= 0.1.5 && < 0.1.6,                          split      Exposed-modules:     Text.TeXMath,