orthonormal comments on On notation for modal UDT

[orthonormal]

Finally read and pondered this! I agree with your objection, and I don’t currently have a better notational proposal than your final one.