compact grammar notation