@@ -110,6 +110,10 @@ stringToLaTeX = escapeStringUsing latexEscapes
110 , ('[', "{[}") -- to avoid interpretation as
110 , ('[', "{[}") -- to avoid interpretation as
111 , (']', "{]}") -- optional arguments
111 , (']', "{]}") -- optional arguments
112 , ('\160', "~")
112 , ('\160', "~")
115-- | Puts contents into LaTeX command.
119-- | Puts contents into LaTeX command.