diff -r 68a36d507716 -r 02671b229bdc RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	lun. janv. 13 01:37:03 2014 +0100
+++ b/RelaxNG/publidoc.rnc	lun. janv. 13 11:19:01 2014 +0100
@@ -721,8 +721,18 @@
  & warning*
 }
 
-inlines =
-   simple.inlines
+inlines = mixed {
+   sup*
+ & sub*
+ & var*
+ & number*
+ & math*
+ & date*
+ & name*
+ & acronym*
+ & term*
+ & warning*
+
  & literal*
  & foreign*
  & highlight*
@@ -738,6 +748,7 @@
  & link*
  & anchor*
  & index*
+}
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~