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