Parse TeX \mathbf as both bold and upright.

Closes #236.
jgm · Apr 10, 2024 · 64e1cbf · 64e1cbf
1 parent a95c52f
commit 64e1cbf
Show file tree

Hide file tree

Showing 6 changed files with 27 additions and 11 deletions.
diff --git a/src/Text/TeXMath/Readers/TeX/Commands.hs b/src/Text/TeXMath/Readers/TeX/Commands.hs
@@ -41,7 +41,7 @@ styleOps :: M.Map Text ([Exp] -> Exp)
 styleOps = M.fromList
           [ ("\\mathrm",     EStyled TextNormal)
           , ("\\mathup",     EStyled TextNormal)
-          , ("\\mathbf",     EStyled TextBold)
+          , ("\\mathbf",     EStyled TextNormal . (:[]) . EStyled TextBold)
           , ("\\boldsymbol", EStyled TextBold)
           , ("\\bm",         EStyled TextBold)
           , ("\\symbf",      EStyled TextBold)

diff --git a/src/Text/TeXMath/Writers/TeX.hs b/src/Text/TeXMath/Writers/TeX.hs
@@ -274,6 +274,9 @@ writeExp (EText ttype s) = do
   case map (fixSpace . escapeLaTeX) (T.unpack s) of
        []   -> return ()
        xs   -> tell $ txtcmd (Grouped xs)
+writeExp (EStyled TextNormal [EStyled TextBold es]) = do
+  tell [ControlSeq "\\mathbf"]
+  tellGroup $ mapM_ writeExp $ everywhere (mkT (fromUnicode TextBold)) es
 writeExp (EStyled ttype es) = do
   txtcmd <- (flip S.getLaTeXTextCommand ttype) <$> asks mathEnv
   tell [ControlSeq txtcmd]

diff --git a/test/reader/tex/22.test b/test/reader/tex/22.test
@@ -66,13 +66,16 @@
       ]
     , [ [ EText TextMonospace "mathbf" ]
       , [ EStyled
-            TextBold
-            [ EIdentifier "A"
-            , EIdentifier "B"
-            , EIdentifier "C"
-            , EIdentifier "a"
-            , EIdentifier "b"
-            , EIdentifier "c"
+            TextNormal
+            [ EStyled
+                TextBold
+                [ EIdentifier "A"
+                , EIdentifier "B"
+                , EIdentifier "C"
+                , EIdentifier "a"
+                , EIdentifier "b"
+                , EIdentifier "c"
+                ]
             ]
         ]
       ]

diff --git a/test/reader/tex/binomial_coefficient.test b/test/reader/tex/binomial_coefficient.test
@@ -2,7 +2,7 @@
    \mathbf{C}(n,k) = \mathbf{C}_k^n = {}_n\mathbf{C}_k = \binom{n}{k} = \frac{n!}{k!\,(n -k)!}
 
 >>> native
-[ EStyled TextBold [ EIdentifier "C" ]
+[ EStyled TextNormal [ EStyled TextBold [ EIdentifier "C" ] ]
 , EDelimited
     "("
     ")"
@@ -12,12 +12,14 @@
     ]
 , ESymbol Rel "="
 , ESubsup
-    (EStyled TextBold [ EIdentifier "C" ])
+    (EStyled TextNormal [ EStyled TextBold [ EIdentifier "C" ] ])
     (EIdentifier "k")
     (EIdentifier "n")
 , ESymbol Rel "="
 , ESub (EGrouped []) (EIdentifier "n")
-, ESub (EStyled TextBold [ EIdentifier "C" ]) (EIdentifier "k")
+, ESub
+    (EStyled TextNormal [ EStyled TextBold [ EIdentifier "C" ] ])
+    (EIdentifier "k")
 , ESymbol Rel "="
 , EDelimited
     "("

diff --git a/test/regression/236a.test b/test/regression/236a.test
@@ -0,0 +1,4 @@
+<<< tex
+\mathbf{A}
+>>> typst
+upright(bold(A))
diff --git a/test/regression/236b.test b/test/regression/236b.test
@@ -0,0 +1,4 @@
+<<< tex
+\mathbf{A}
+>>> tex
+\mathbf{A}