equal
deleted
inserted
replaced
980 "wide" | "numbered" | "box" | "numbered-box" } |
980 "wide" | "numbered" | "box" | "numbered-box" } |
981 math.type.attribute = attribute type { xsd:NCName } |
981 math.type.attribute = attribute type { xsd:NCName } |
982 |
982 |
983 math.content = |
983 math.content = |
984 mixed { sup* & sub* & var* & warning* } |
984 mixed { sup* & sub* & var* & warning* } |
985 | latex |
985 | (preambule?, latex) |
986 |
986 |
987 # ~~~~~~ latex |
987 # ~~~~~~ latex |
988 latex = element latex { latex.attributes, latex.content } |
988 latex = element latex { latex.attributes, latex.content } |
989 |
989 |
990 latex.attributes = |
990 latex.attributes = |
991 plain.attritute? |
991 plain.attritute? |
992 plain.attritute = attribute plain { xsd:boolean } |
992 plain.attritute = attribute plain { xsd:boolean } |
993 |
993 |
994 latex.content = text |
994 latex.content = text |
|
995 |
|
996 # ~~~~~~ preambule |
|
997 preambule = element preambule { preambule.content } |
|
998 |
|
999 preambule.content = |
|
1000 newcommand+ |
|
1001 |
|
1002 # ~~~~~~ newcommand |
|
1003 newcommand = element newcommand { newcommand.attributes, newcommand.content } |
|
1004 |
|
1005 newcommand.attributes = |
|
1006 newcommand.name.attribute |
|
1007 newcommand.name.attribute = attribute name { xsd:NMTOKEN } |
|
1008 |
|
1009 newcommand.content = text |
995 |
1010 |
996 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
1011 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
997 |
1012 |
998 quote = element quote { quote.content } |
1013 quote = element quote { quote.content } |
999 |
1014 |