fixed # and $ rendering

SKolodynski · Oct 6, 2024 · 2252c60 · 2252c60
1 parent d6a3683
commit 2252c60
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/isar2html2.0/src/isar2html/IsarSym2Latex.fs b/isar2html2.0/src/isar2html/IsarSym2Latex.fs
@@ -41,6 +41,11 @@ namespace iml
         let inner2LatexSym : (string*string) list =
                 [("<", " \\lt ")
                  ("%","\\%")
+                 ("$#","\\$\\!\\#\\!")
+                 ("$+","\\ \\$\\!+\\ ")
+                 ("$-","\\ \\$\\!-\\!")
+                 ("$- ","\\ \\$\\!-\\ ")
+                 // ("$", "\\ \\$ ")
                  ("\\<longrightarrow>", "\\longrightarrow ")
                  (".", ".\\ ")
                  (" O ", "\\circ ")
@@ -242,7 +247,6 @@ namespace iml
                  ("\\<^sup>", "^")
                  ("_", "\\_")
                  ("-``", "^{-1}")
-                 ("$", "\\ \\$ ")
                  (" \\{and\\}","\\text{ and }")
                  (" \\{by\\}","\\text{ by }")
                  (" \\{from\\}","\\text{ from }")