equal
deleted
inserted
replaced
739 |
739 |
740 # ~~~~~~ math |
740 # ~~~~~~ math |
741 math = element math { math.attributes, math.content } |
741 math = element math { math.attributes, math.content } |
742 |
742 |
743 math.attributes = |
743 math.attributes = |
744 math.display.attribute? |
744 xmlid.attribute? |
|
745 & math.display.attribute? |
745 math.display.attribute = attribute display { |
746 math.display.attribute = attribute display { |
746 "wide" | "numbered" | "box" | "numbered-box" } |
747 "wide" | "numbered" | "box" | "numbered-box" } |
747 |
748 |
748 math.content = |
749 math.content = |
749 mixed { sup* & sub* & var* & warning* } |
750 mixed { sup* & sub* & var* & warning* } |