Metasyntax used to define context-free grammars.