LaTeX reader: support \textquoteleft|right, \textquotedblleft|right.

Closes #3849.
This commit is contained in:
John MacFarlane 2017-08-17 10:09:35 -07:00
parent ae61d5f57d
commit c175317d03

View file

@ -1209,6 +1209,10 @@ inlineCommands = M.fromList $
, ("textup", extractSpaces (spanWith ("",["upright"],[])) <$> tok)
, ("texttt", ttfamily)
, ("sout", extractSpaces strikeout <$> tok)
, ("textquoteleft", return (str ""))
, ("textquoteright", return (str ""))
, ("textquotedblleft", return (str ""))
, ("textquotedblright", return (str ""))
, ("textsuperscript", extractSpaces superscript <$> tok)
, ("textsubscript", extractSpaces subscript <$> tok)
, ("textbackslash", lit "\\")