@@ -77,21 +77,27 @@ latexHeader options (Meta title authors date) =
7777
7878-- escape things as needed for LaTeX
7979
80−escapeBrackets = backslashEscape "{}"
81−escapeSpecial = backslashEscape "$%&~_#"
82−
83−escapeBackslash = substitute "\\" "\\textbackslash{}"
84−fixBackslash = substitute "\\textbackslash\\{\\}" "\\textbackslash{}"
85−escapeHat = substitute "^" "\\^{}"
86−escapeBar = substitute "|" "\\textbar{}"
87−escapeLt = substitute "<" "\\textless{}"
88−escapeGt = substitute ">" "\\textgreater{}"
80+escapeCharForLaTeX :: Char -> String
81+escapeCharForLaTeX ch =
82+ case ch of
83+ '\\' -> "\\textbackslash{}"
84+ '{' -> "\\{"
85+ '}' -> "\\}"
86+ '$' -> "\\$"
87+ '%' -> "\\%"
88+ '&' -> "\\&"
89+ '~' -> "\\~"
90+ '_' -> "\\_"
91+ '#' -> "\\#"
92+ '^' -> "\\^{}"
93+ '|' -> "\\textbar{}"
94+ '<' -> "\\textless{}"
95+ '>' -> "\\textgreater{}"
96+ x -> [x]
8997
9098-- | Escape string for LaTeX
9199stringToLaTeX :: String -> String
92−stringToLaTeX = escapeGt . escapeLt . escapeBar . escapeHat .
93− escapeSpecial . fixBackslash . escapeBrackets .
94− escapeBackslash
100+stringToLaTeX = concatMap escapeCharForLaTeX
95101
96102-- | Remove all code elements from list of inline elements
97103-- (because it's illegal to have a \\verb inside a command argument)