and the variables may also appear on the right-hand side
in place of a nonterminal.
Such a rule stands for a family of rules,
-in each variable is replaced by
+in which each variable is replaced by
each possible simple nonterminal or terminal symbol.
.PP
The letter \*e denotes the empty nonterminal
|
.I identifier
.|
+.B <
+.I plain-type
+.B >
+.|
.B ?
.I s-expression
.|
|
.B restrict
.br
+.I plain-type
+::=
+.IR declaration-specifier \*+
+.I abstract-declarator
+.br
.I atomic-type
::=
.I
atomic
.B (
-.IR declaration-specifier \*+
-.I abstract-declarator
+.I plain-type
.B )
.br
.I atomic