Reserved Notation "   (u *)   ".