Syntax

There are two kinds of quotations:

• The anonymous quotations start with ``<<'' and end with ``>>''. The associated expander is the ``default'' expander.
• The named quotations start with ``<:id<'' and end with ``>>'', where ``id'' is any identifier. The associated expander is the expander named ``id''.

The string inside a quotation is any string. It can hold other quotations. The string sequences ``<<'', ``<:id<'' and ``>>'', if not matching, must be prefixed by a backslash and backslashes must be doubled.