-.It Va english Ta \[->] Ta Li declare Va identifier Li as Va english-decl
-.It Ta \[->] Ta Li type Va english-decl
-.It Va english-decl Ta \[->] Ta Va sf-specs declarator
-.It Va declarator Ta \[->] Ta Va qualifiers Li pointer to Va declarator
-.It Ta \[->] Ta Li array Va size Li of Va declarator
-.It Ta \[->] Ta Li function Va parameters Li returning Va declarator
-.It Ta \[->] Ta Va tq-specs
-.It Va qualifiers Ta \[->] Ta Va type-qualifier qualifiers | No \[*e]
-.It Va tq-specs Ta \[->] Ta Va type-qualifier tq-specs
-.It Ta \[->] Ta Va type-specifier tq-specs
+.It Va english Ta \[->] Ta Li declare Va [ identifier ] Li as Va [ english-decl ]
+.It Ta \[->] Ta Li type Va [ english-decl ]
+.It Va english-decl Ta \[->] Ta Va [ sf-specs ] [ declarator ]
+.It Va declarator Ta \[->] Ta Va [ qualifiers ] Li pointer to Va [ declarator ]
+.It Ta \[->] Ta Li array Va [ size ] Li of Va [ declarator ]
+.It Ta \[->] Ta Li function Va [ parameters ] Li returning Va [ declarator ]
+.It Ta \[->] Ta Va [ tq-specs ]
+.It Va qualifiers Ta \[->] Ta Va [ type-qualifier ] [ qualifiers ] | No \[*e]
+.It Va tq-specs Ta \[->] Ta Va [ type-qualifier ] [ tq-specs ]
+.It Ta \[->] Ta Va [ type-specifier ] [ tq-specs ]