@@ -60,7 +60,7 @@ import qualified Text.Blaze.XHtml1.Transitional.Attributes as A
60import Text.Blaze.Renderer.String (renderHtml)
60import Text.Blaze.Renderer.String (renderHtml)
61import Text.TeXMath
61import Text.TeXMath
62import Text.XML.Light.Output
62import Text.XML.Light.Output
63−import Text.XML.Light (unode, elChildren, add_attr, unqual)
63+import Text.XML.Light (unode, elChildren, unqual)
64import qualified Text.XML.Light as XML
64import qualified Text.XML.Light as XML
65import System.FilePath (takeExtension)
65import System.FilePath (takeExtension)
66import Data.Monoid
66import Data.Monoid
@@ -639,7 +639,9 @@ annotateMML e tex = math (unode "semantics" [cs, unode "annotation" (annotAttrs,
639 [] -> unode "mrow" ()
639 [] -> unode "mrow" ()
641 xs -> unode "mrow" xs
641 xs -> unode "mrow" xs
642− math = add_attr (XML.Attr (unqual "xmlns") "http://www.w3.org/1998/Math/MathML") . unode "math"
642+ math childs = XML.Element q as [XML.Elem childs] l
644+ (XML.Element q as _ l) = e
643 annotAttrs = [XML.Attr (unqual "encoding") "application/x-tex"]
645 annotAttrs = [XML.Attr (unqual "encoding") "application/x-tex"]