equal
deleted
inserted
replaced
966 math = element math { math.attributes, math.content } |
966 math = element math { math.attributes, math.content } |
967 |
967 |
968 math.attributes = |
968 math.attributes = |
969 xmlid.attribute? |
969 xmlid.attribute? |
970 & math.display.attribute? |
970 & math.display.attribute? |
|
971 & math.type.attribute? |
971 math.display.attribute = attribute display { |
972 math.display.attribute = attribute display { |
972 "wide" | "numbered" | "box" | "numbered-box" } |
973 "wide" | "numbered" | "box" | "numbered-box" } |
|
974 math.type.attribute = attribute type { xsd:NCName } |
973 |
975 |
974 math.content = |
976 math.content = |
975 mixed { sup* & sub* & var* & warning* } |
977 mixed { sup* & sub* & var* & warning* } |
976 | latex |
978 | latex |
977 |
979 |