Mark J. Reed asked: > 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
The first refers to (meta)operators encountered where a term is expected; the second refers to operators encountered where an infix is expected (i.e. after a term). > ? And if &[+] means &infix:<+>, how do I refer to the Code of the > list operator [+]? &prefix:<[+]> Damian
