equal
deleted
inserted
replaced
740 ( attribute notation {"tex"}, math.attributes, math.tex.content ) |
740 ( attribute notation {"tex"}, math.attributes, math.tex.content ) |
741 | ( math.attributes, math.content) |
741 | ( math.attributes, math.content) |
742 } |
742 } |
743 |
743 |
744 math.attributes = |
744 math.attributes = |
745 wide.attribute? |
745 math.mode.attribute? |
746 wide.attribute = attribute wide { xsd:boolean } |
746 math.mode.attribute = attribute mode { "wide" | "equation" } |
747 |
747 |
748 math.content = mixed { sup* & sub* & var* & warning* } |
748 math.content = mixed { sup* & sub* & var* & warning* } |
749 math.tex.content = text |
749 math.tex.content = text |
750 |
750 |
751 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
751 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |