From my quick look at the generated grammar, the operators are treated
in the implementation as syntax-rules literals.

In my understanding of the R6RS, something that is treated as a symbol
is matched using `syntax->datum` and `symbol=?`, while pattern literals
are matched using `free-identifier=?` (R6RS §11.19, Libraries §12.4),
which only matches on the symbolic name of the identifier in certain
scenarios.

In the R7RS, the specification of matching a pattern literal is "P is a
literal identifier and E is an identifier with the same binding" (R7RS
§4.3.2).

So to be more correct for both R6RS and R7RS implementations, the SRFI
should say "operators are matched as literals in a syntax-rules
declaration" or something like that, and leave out the symbol part.

-- Peter McGoron