The syntax used in quotations use the righteous 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 |
$.