class dtd_notation :A single notation declaration that can be added to the DTD object. Notation declarations are created bystring -> Pxp_core_types.I.ext_id -> Pxp_core_types.I.rep_encoding ->object..end
new dtd_notation a_name an_external_ID init_encoding
This creates a new dtd_notation object with the given name and the given
external ID.method name : stringmethod ext_id : Pxp_core_types.I.ext_idmethod encoding : Pxp_core_types.I.rep_encoding
