Double-parens syntax specification is closer to real EBNF. [#75060392]