--- a/RelaxNG/publidoc.rnc	mer. août 17 17:29:13 2016 +0200
+++ b/RelaxNG/publidoc.rnc	sam. sept. 24 11:10:58 2016 +0200
@@ -968,8 +968,10 @@
 math.attributes =
    xmlid.attribute?
  & math.display.attribute?
+ & math.type.attribute?
 math.display.attribute = attribute display {
    "wide" | "numbered" | "box"  | "numbered-box" }
+math.type.attribute = attribute type { xsd:NCName }
 
 math.content =
    mixed { sup* & sub* & var* & warning* }