@@ -186,8 +186,8 @@ escapeLexer = do
186186 choice
187187 [ ("\xae" <$ char 'R')
188188 , ("" <$ char 'S') -- switch back to default font size
189− , ("\x201c" <$ try (string "(lq"))
190− , ("\x201d" <$ try (string "(rq"))
189+ , ("\x201c" <$ try (string "(lq") <|> try (string "[lq]"))
190+ , ("\x201d" <$ try (string "(rq") <|> try (string "[rq]"))
191191 , ("" <$ try (string "(HF" >>
192192 modifyState (\r -> r {fontKind = singleton Bold})))
193193 , ("\x2122" <$ try (string "(Tm"))