So how is this: > Any infix operator (except for non-associating operators) can be surrounded > by square brackets in term position to create a list operator > that reduces using that operation:
reconciled with this: > Any ordinary infix operator may be enclosed in square brackets with the same > meaning ? And if &[+] means &infix:<+>, how do I refer to the Code of the list operator [+]?