@@ -494,7 +494,7 @@ escapedChar = do
494494-- ignore standalone, nonescaped special characters
495495unescapedChar = oneOf "`$^&_#{}|<>" >> return (Str "")
496496
497−specialChar = choice [ backslash, tilde, caret, bar, lt, gt ]
497+specialChar = choice [ backslash, tilde, caret, bar, lt, gt, doubleQuote ]
498498
499499backslash = try (string "\\textbackslash") >> return (Str "\\")
500500
@@ -508,6 +508,8 @@ lt = try (string "\\textless") >> return (Str "<")
508508
509509gt = try (string "\\textgreater") >> return (Str ">")
510510
511+doubleQuote = char '"' >> return (Str "\"")
512+
511513code = code1 <|> code2
512514
513515code1 = try $ do