This notation for arrays is new and I didn't see any other use of it in the PIM. Shouldn't we always use the same notation ?
From my point of view, I like this notation but don't use it for consistency reasons.