y the "V" meta symbol. The two
    strings which follow it gives the possible antiquotation kinds:
    "flag" (the normal antiquotation kind) and "opt" (kept by backward
    compatibility, but not recommended). It is therefore possible to
    antiquote it as: "<tt>$flag:...$</tt>" or "<tt>$opt:...$</tt>"
    where the "<tt>...</tt>" is an expression or a pattern depending
    on the position of the enclosing quotation</li>
  <li>The binding list is also antiquotable, since it is also enclosed
    by the "V"