734 number.content = mixed { sup* & warning* } |
734 number.content = mixed { sup* & warning* } |
735 number.roman.content = xsd:token {pattern = "[MCLXVI]+"} |
735 number.roman.content = xsd:token {pattern = "[MCLXVI]+"} |
736 |
736 |
737 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
737 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
738 |
738 |
739 math = element math { |
739 # ~~~~~~ math |
740 ( attribute notation {"latex"}, math.latex.attributes, math.latex.content ) |
740 math = element math { math.attributes, math.content } |
741 | ( math.attributes, math.content ) |
|
742 } |
|
743 |
741 |
744 math.attributes = |
742 math.attributes = |
745 math.mode.attribute? |
743 math.display.attribute? |
746 math.latex.attributes = |
744 math.display.attribute = attribute display { |
747 math.latex.mode.attribute? |
|
748 math.mode.attribute = attribute mode { |
|
749 "wide" | "numbered" | "box" | "numbered-box" } |
745 "wide" | "numbered" | "box" | "numbered-box" } |
750 math.latex.mode.attribute = attribute mode { |
746 |
751 "wide" | "numbered" | "box" | "numbered-box" |
747 math.content = |
752 | "plain" | "plain-wide" | "numbered-plain" | "plain-box" |
748 mixed { sup* & sub* & var* & warning* } |
753 | "numbered-plain-box" } |
749 | latex |
754 |
750 |
755 math.content = mixed { sup* & sub* & var* & warning* } |
751 # ~~~~~~ latex |
756 math.latex.content = text |
752 latex = element latex { latex.attributes, latex.content } |
|
753 |
|
754 latex.attributes = |
|
755 plain.attritute? |
|
756 plain.attritute = attribute plain { xsd:boolean } |
|
757 |
|
758 latex.content = text |
757 |
759 |
758 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
760 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
759 |
761 |
760 date = element date { date.attributes, date.content } |
762 date = element date { date.attributes, date.content } |
761 |
763 |