x’ forecast only on HP-32E

[C.Ret]

Thanks Joe for that clarification.

This cultural fact had completely escaped from me and I hadn't realized that a nickname is used very respectfully by anyone, from close relatives up to co-workers and collaborators. There are parts of the world where nicknames, especially those given to authorities and managers, are most often pejorative or scoffer. I live and work in these types of part of the world.


Thank you Valentin,

It's true that there are plenty of nicknames for everyday life. And that makes sense.
I should have remembered that Bill is the diminutive of William. And I should have realize that in the US, one prefers to be called Bill than William, which sound far too british.