> On a related note, is there a way to give the associativity/precedence > of the new notation? Fixities can already be specified for any names, so the fixity of the name will be used. Cheers, JP.