diff -r 3483da1b39eb -r 5540389e60ba RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	sam. sept. 21 23:41:53 2013 +0200
+++ b/RelaxNG/publidoc.rnc	dim. sept. 22 00:41:37 2013 +0200
@@ -709,9 +709,9 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-sup = element sup { mixed { warning* } }
+sup = element sup { mixed { var* & warning* } }
 
-sub = element sub { mixed { warning* } }
+sub = element sub { mixed { var* & warning* } }
 
 var = element var { mixed { warning* } }