equal
deleted
inserted
replaced
687 number.attributes = |
687 number.attributes = |
688 number.value.attribute? |
688 number.value.attribute? |
689 number.value.attribute = attribute value { xsd:integer | xsd:decimal } |
689 number.value.attribute = attribute value { xsd:integer | xsd:decimal } |
690 |
690 |
691 number.content = mixed { sup* & warning* } |
691 number.content = mixed { sup* & warning* } |
692 number.roman.content = xsd:token {pattern = "[DLXVI]+"} |
692 number.roman.content = xsd:token {pattern = "[MCLXVI]+"} |
693 |
693 |
694 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
694 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
695 |
695 |
696 math = element math { |
696 math = element math { |
697 ( attribute notation {"tex"}, math.attributes, math.tex.content ) |
697 ( attribute notation {"tex"}, math.attributes, math.tex.content ) |