Question on notation