Correct. The production reflects the SGML reality that -- ends a
comment. In SGML terms:
'<!' starts the comment declaration in your example.
'--' starts the comment.
'A+, A or A' is the content of the comment.
'--' ends the comment.
'-' is an error.
'>' could be considered to end the comment declaration, but
we're now in error-recovery mode, and outside the scope
of the specification.
<!--A+, A or A- --> is a legal comment.
-Chris
-- <!NOTATION SGML.Geek PUBLIC "-//Anonymous//NOTATION SGML Geek//EN"> <!ENTITY crism PUBLIC "-//O'Reilly//NONSGML Christopher R. Maden//EN" "<URL>http://www.oreilly.com/people/staff/crism/ <TEL>+1.617.499.7487 <USMAIL>90 Sherman Street, Cambridge, MA 02140 USA" NDATA SGML.Geek>