Begin to write Mathematical EBNF