The syntax used in quotations use the revised concrete syntax
(chapter 5) with a system of ``antiquotations'' to
insert expressions or patterns of the language in the concrete syntax,
to make all possible values of the syntax tree nodes. These
antiquotations have the format:
antiquotation::=$ { name: } string$
name::=identifier
where string is any sequence of characters not holding any
$.