2.1 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.