From 2252c609a51e8b99a3eeefc7877dd3003626532f Mon Sep 17 00:00:00 2001
From: SKolodynski <SKolodynski@users.noreply.github.com>
Date: Sun, 6 Oct 2024 20:17:03 +0200
Subject: [PATCH] fixed # and $ rendering

---
 isar2html2.0/src/isar2html/IsarSym2Latex.fs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/isar2html2.0/src/isar2html/IsarSym2Latex.fs b/isar2html2.0/src/isar2html/IsarSym2Latex.fs
index 2482df0..0f25f3c 100644
--- 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 }")