[rrayner]

Thank you very much for the tips and compliments, Sherry. And thank you, David, for your clever way of handling this kind of problem.

I have updated the Notation file to reflect the changes.

Ralph