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 [+]?



Reply via email to