diff --git a/mathics/format/render/latex.py b/mathics/format/render/latex.py
index fe9adc75c..cd9dab189 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"\}",
@@ -59,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()
@@ -73,7 +74,7 @@
         "\\": r"$\backslash$",
         "^": r"${}^{\wedge}$",
         "\u222b": r"$\int$ ",
-        "\uF74C": r"\, d",
+        "\uf74c": r"\, d",
         "\u00d7": r"$\times$",
     }
 )