1.2.5 In­dex no­ta­tion