LaTeX writer: use \textquotesingle for straight quotes in text.

This commit is contained in:
John MacFarlane 2022-08-16 09:52:16 -07:00
parent 3202a288ac
commit 473a9b15be

View file

@ -120,7 +120,7 @@ stringToLaTeX context zs = do
'>' -> emitcseq "\\textgreater"
'[' -> emits "{[}" -- to avoid interpretation as
']' -> emits "{]}" -- optional arguments
'\'' | ctx == CodeString -> emitcseq "\\textquotesingle"
'\'' -> emitcseq "\\textquotesingle"
'\160' -> emits "~"
'\x200B' -> emits "\\hspace{0pt}" -- zero-width space
'\x202F' -> emits "\\,"