syntax question about user defined infix



-----"laurent couraud" <l.couraud at gmail.com> wrote: -----

>infix("-->",50,50)$ work correctly it seems.

Yes, it does. Thank you.

Barton