replace former in-math space with regular one

fmidue · Dec 16, 2024 · 0d4672d · 0d4672d
1 parent 9cb9d3b
commit 0d4672d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/TermTasks/Helpers.hs b/src/TermTasks/Helpers.hs
@@ -18,7 +18,7 @@ mathifySignature s = wrapDollar $ open
     around snip = close ++ snip ++ open
 
 itemifyTerm :: (Int, Term String) -> String
-itemifyTerm (i,t) = show i ++ ".\\," ++ inMathit t
+itemifyTerm (i,t) = show i ++ ". " ++ inMathit t
 
 inMathit :: Show a => a -> String
 inMathit a = wrapDollar $ open ++ show a ++ close