inlineToMan opts (Math DisplayMath str) = do
  contents <- inlineToMan opts (Code str)
  return $ text ".RS" $$ contents $$ text ".RE"
inlineToMan opts (Math DisplayMath str) = do
  contents <- inlineToMan opts (Code str)
  return $ text ".RS" $$ contents $$ text ".RE"
inlineToMan opts (Math DisplayMath str) = do
  contents <- inlineToMan opts (Code str)
  return $ text ".RS" $$ contents $$ text ".RE"