From 98f776f417b2bb56e1f92e3de61887722f254457 Mon Sep 17 00:00:00 2001 From: Juan Mauricio Matera Date: Tue, 20 Jan 2026 17:49:34 -0300 Subject: [PATCH 1/3] handle Times operator character in latex --- mathics/format/render/latex.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mathics/format/render/latex.py b/mathics/format/render/latex.py index ce589c8a3..fe9adc75c 100644 --- a/mathics/format/render/latex.py +++ b/mathics/format/render/latex.py @@ -61,6 +61,7 @@ "\u2146": r"\, d", "\uF74C": r"\, d", "\U0001D451": r"\, d", + "\u00d7": r"\times ", } TEX_TEXT_REPLACE = TEX_REPLACE.copy() TEX_TEXT_REPLACE.update( @@ -73,6 +74,7 @@ "^": r"${}^{\wedge}$", "\u222b": r"$\int$ ", "\uF74C": r"\, d", + "\u00d7": r"$\times$", } ) TEX_REPLACE_RE = re.compile("([" + "".join([re.escape(c) for c in TEX_REPLACE]) + "])") From f234037770323872749890f6f61f449a4bac8ad9 Mon Sep 17 00:00:00 2001 From: Juan Mauricio Matera Date: Tue, 20 Jan 2026 18:03:35 -0300 Subject: [PATCH 2/3] Update mathics/format/render/latex.py Co-authored-by: R. Bernstein --- mathics/format/render/latex.py | 1 + 1 file changed, 1 insertion(+) diff --git a/mathics/format/render/latex.py b/mathics/format/render/latex.py index fe9adc75c..9f5599094 100644 --- a/mathics/format/render/latex.py +++ b/mathics/format/render/latex.py @@ -45,6 +45,7 @@ # When it get fixed, we can use that table instead of this one: +# FIXME: get the below character symbols from a JSON file derived from named-characters.yml TEX_REPLACE = { "{": r"\{", "}": r"\}", From c4da141449897a88dee56924355a056b42a32114 Mon Sep 17 00:00:00 2001 From: rocky Date: Tue, 20 Jan 2026 16:09:17 -0500 Subject: [PATCH 3/3] black --- mathics/format/render/latex.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/mathics/format/render/latex.py b/mathics/format/render/latex.py index 9f5599094..cd9dab189 100644 --- a/mathics/format/render/latex.py +++ b/mathics/format/render/latex.py @@ -45,7 +45,7 @@ # When it get fixed, we can use that table instead of this one: -# FIXME: get the below character symbols from a JSON file derived from named-characters.yml +# FIXME: get the below character symbols from a JSON file derived from named-characters.yml TEX_REPLACE = { "{": r"\{", "}": r"\}", @@ -60,8 +60,8 @@ "|": r"\vert{}", "\u222b": r"\int ", "\u2146": r"\, d", - "\uF74C": r"\, d", - "\U0001D451": r"\, d", + "\uf74c": r"\, d", + "\U0001d451": r"\, d", "\u00d7": r"\times ", } TEX_TEXT_REPLACE = TEX_REPLACE.copy() @@ -74,7 +74,7 @@ "\\": r"$\backslash$", "^": r"${}^{\wedge}$", "\u222b": r"$\int$ ", - "\uF74C": r"\, d", + "\uf74c": r"\, d", "\u00d7": r"$\times$", } )