New symbols have been invented for opening and closing comments:
9.4.1.f
bold comment begin symbol NOTE
bold comment end symbol ETON
brief comment begin symbol {
brief comment end symbol }
Syntax of pragments is expanded to also include nestable comments:
9.2.1
b) PRAGMENT{a} : ... ; STYLE nested comment{d}.
d) STYLE nested comment{b} :
STYLE comment begin symbol{94h,-},
STYLE nested comment contents{e} sequence,
STYLE comment end symbol{94h,-}.
e) STYLE nested comment contents{d} :
STYLE nested comment item{c} sequence option,
STYLE nested comment{d} option.
f) STYLE nested comment item{e} :
character glyph{814c} ; STYLE other nested comment item{d}.