A15: use notation names in 'formal' processing instructions?
On 9 October 1996, the ERB will vote to decide the following question.
A non-binding preliminary vote indicates the ERB is now leaning to Yes.
A.15 XML will use a sort of 'formal processing instruction': the first
token of the PI's system data will be the name of a declared notation
(e.g. <?TeX \vskip> or <?application-name application-specific
instructions>) (7.6, 8) (Applies only if XML allows processing
instructions, and if there is a DTD supplied and used.)