<!-- polygon.dtd -->
<!-- DTD for polygon layout -->

<!ELEMENT polygon ( boundingbox, loop* )>
  
<!ELEMENT boundingbox ( box )>
<!ELEMENT box ( coordinate, coordinate )>

<!ELEMENT loop ( coordinate+ )>
<!ATTLIST loop type ( exterior | hole ) "exterior">

<!ELEMENT coordinate ( #PCDATA )>