User blog comment:Wythagoras/Dollar function: final version/@comment-5150073-20140407094542

''Then we can have a diagonalizer over the dimensions, which can be a new dimension. Of course be can extend it to rows of dimensions, n-dimensions of dimensions, n-dimensions of dimensions of dimensions, ...'' But isn't it the way of defining notations which leads to ambiguousness (like in BEAF)?