Footnotes

 

(1)

Since the operation is associative, the choice between %left assoc and %right assoc is arbitrary here, but we have to make a choice to be definite.