@@ -220,6 +220,7 @@ stringToLaTeX ctx (x:xs) = do
220 '>' -> "\\textgreater{}" ++ rest
220 '>' -> "\\textgreater{}" ++ rest
221 '[' -> "{[}" ++ rest -- to avoid interpretation as
221 '[' -> "{[}" ++ rest -- to avoid interpretation as
222 ']' -> "{]}" ++ rest -- optional arguments
222 ']' -> "{]}" ++ rest -- optional arguments
223+ '\'' | ctx == CodeString -> "\\textquotesingle{}" ++ rest
223 '\160' -> "~" ++ rest
224 '\160' -> "~" ++ rest
224 '\x2026' -> "\\ldots{}" ++ rest
225 '\x2026' -> "\\ldots{}" ++ rest
225 '\x2018' | ligatures -> "`" ++ rest
226 '\x2018' | ligatures -> "`" ++ rest