LaTeX writer: use \hspace{0pt} for 0-width space U+200B.

Closes #5756.
This commit is contained in:
John MacFarlane
2019-09-18 13:27:02 -07:00
parent ebfa7d61f8
commit c42542428c
+1
View File
@@ -375,6 +375,7 @@ stringToLaTeX context zs = do
']' -> emits "{]}" -- optional arguments
'\'' | ctx == CodeString -> emitcseq "\\textquotesingle"
'\160' -> emits "~"
'\x200B' -> emits "\\hspace{0pt}" -- zero-width space
'\x202F' -> emits "\\,"
'\x2026' -> emitcseq "\\ldots"
'\x2018' | ligatures -> emitquote "`"