Robert Dodier wrote: > > I don't see a motivation for case insensitivity of user- > defined operators at present; if there's no explanation > in sight let's consider disabling this feature. I vote to take that out, too. RJF > > For what it's worth, > Robert Dodier > >