operarator syntax, start of formal grammar definition