equal
deleted
inserted
replaced
605 number.attributes = |
605 number.attributes = |
606 number.value.attribute? |
606 number.value.attribute? |
607 number.value.attribute = attribute value { xsd:integer | xsd:decimal } |
607 number.value.attribute = attribute value { xsd:integer | xsd:decimal } |
608 |
608 |
609 number.content = mixed { sup* } |
609 number.content = mixed { sup* } |
610 number.roman.content = xsd:token {pattern = "[dlxvi]+"} |
610 number.roman.content = xsd:token {pattern = "[DLXVI]+"} |
611 |
611 |
612 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
612 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
613 |
613 |
614 math = element math { |
614 math = element math { |
615 ( attribute notation {"tex"}, math.attributes, math.tex.content ) |
615 ( attribute notation {"tex"}, math.attributes, math.tex.content ) |