Notations on syntax alternatives