- aux_attribute mathonly xref pos prec uris t attr
- | A.Ident (literal, _) -> P.Mi (make_href xref [], to_unicode literal)
- | A.Num (literal, _) -> P.Mn (make_href xref [], to_unicode literal)
- | A.Symbol (literal, _) -> P.Mo (make_href xref uris, to_unicode literal)
- | A.Uri (literal, _) -> P.Mi (make_href xref [], to_unicode literal)
- | A.Literal l -> aux_literal xref prec uris l
+ aux_attribute xmlattrs mathonly xref pos prec uris t attr
+ | A.Ident (literal, _) ->
+ P.Mi (make_href xmlattrs xref [], to_unicode literal)
+ | A.Num (literal, _) ->
+ P.Mn (make_href xmlattrs xref [], to_unicode literal)
+ | A.Symbol (literal, _) ->
+ P.Mo (make_href xmlattrs xref uris, to_unicode literal)
+ | A.Uri (literal, _) ->
+ P.Mi (make_href xmlattrs xref [], to_unicode literal)
+ | A.Literal l -> aux_literal xmlattrs xref prec uris l