On 2015-07-24 11:15, Andreas Abel wrote: > In the light of issue 1616, it seems sensible to rule out such > overloading. > > An atom should be in name conflict with any operator containing this > atom as a name part. What do you mean by "be[ing] in name conflict"? -- /NAD