@@ -373,8 +373,6 @@ escStar = try $ do
373 '(' -> do
373 '(' -> do
374 cs <- count 2 anyChar
374 cs <- count 2 anyChar
375 case cs of
375 case cs of
376− "HF" -> mempty <$ modifyState (\st ->
377− st{fontKind = S.insert Bold (fontKind st) })
378 "Tm" -> retstr "\x2122"
376 "Tm" -> retstr "\x2122"
379 "lq" -> retstr "\x201c"
377 "lq" -> retstr "\x201c"
380 "rq" -> retstr "\x201d"
378 "rq" -> retstr "\x201d"