This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112c. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
The grammar in Appendix A does not indicate a grammar sentence symbol and is therefore formally not a grammar.
Appendix A does not claim to be a formal grammar. The specification is clear enough in its current formulation.