[Edu-sig] re: Terminology question: just operator overriding?

[Arthur]

Kirby asks-

>So do we call it "operator overriding" in all these cases, or
>do some people say "syntax overriding" or something else that
>sounds more general than "operator".

I understand that this is not the extent of your question, but are we
starting from an  agreement that accepted terminolgy is:  *overload*
operators and *override* methods.

And to me, you are "overriding built-in methods" in your examples.

But then, why do you raise this?

Art