Use the syntax package and the grammar environment for BNF