Question about #:grammar in defform

In a defform I want to produce a grammar including something like:

binding =  #:finish finish-id
        |  #:finish finish-id terminator

That is, clause-data consisting of more than one element.
How to do that?

Thanks, Jos

Use (code:line #:finish finish-id) etc. If you search for code:line, you'll get a hit in the Scribble manual, in the same section as racketblock is documented. There are a few other useful escapes.

Thanks, that works perfectly.
I tried code:line before, but apparently wrongly, because my first trial did not work.
Thanks again, Jos