Revert some funny character translations...

Until I can figure why TeX doc messes up.

Author: rocky

mathics/doc/doc.py

@@ -255,12 +255,20 @@ def repl_list(match):
             (" ", r"$\ge$"),
             (" ", r"$\le$"),
             (" ", r"$\ne$"),
-            ("\u00e7", r"\c{c}"),
-            ("\u00e9", r"\'e"),
-            ("\u00ea", r"\^e"),
-            ("\00f1", r"\~n"),
-            ("\u222b", r"\int"),
-            ("\uf74c", r"d"),
+
+            ("ç", r"\c{c}"),
+            ("é", r"\'e"),
+            ("ê", r"\^e"),
+            ("ñ", r"\~n"),
+            ("∫", r"\int"),
+            ("", r"d"),
+            # Redo above as something like:
+            # ("\u00e7", r"\c{c}"),
+            # ("\u00e9", r"\'e"),
+            # ("\u00ea", r"\^e"),
+            # ("\00f1", r"\~n"),
+            # ("\u222b", r"\int"),
+            # ("\uf74c", r"d"),
         ],
     )