497  & quote*

   497  & quote*

   498  & acronym*

   498  & acronym*

   499  & term*

   499  & term*

   500  & link*

   500  & link*

   501  & anchor*

   501  & anchor*

   502 }

   503 }

   503 

   504 

   504 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   505 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   505 

   506 

   506 sup = element sup { text }

   507 sup = element sup { text }

   567 note.attributes =

   568 note.attributes =

   568    note.label.attribute?

   569    note.label.attribute?

   569 note.label.attribute = attribute label { text }

   570 note.label.attribute = attribute label { text }

   570 

   571 

   571 note.content =

   572 note.content =

   574 

   576 

   575 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   577 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   576 

   578 

   577 foreign = element foreign { foreign.attributes, foreign.content }

   579 foreign = element foreign { foreign.attributes, foreign.content }

   578 

   580 

   627 anchor = element anchor { anchor.attributes }

   629 anchor = element anchor { anchor.attributes }

   628 

   630 

   629 anchor.attributes =

   631 anchor.attributes =

   630    anchor.id.attribute

   632    anchor.id.attribute

   631 anchor.id.attribute = attribute xml:id { xsd:ID }

   633 anchor.id.attribute = attribute xml:id { xsd:ID }