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.