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.)