User blog comment:Tetramur/BEAF above SVO - comparison/@comment-5150073-20200219121934/@comment-37993808-20200221041832

I would like to explain what I want to do. I want to express array {X,X(1)1,2} as a fixed point of some operation. That is to say,

{X,X(1)1,2} = {X,X,X,X...X(1){X,X(1)1,2}}

So, I would like to obtain fixed point of A ->{X,X(1)A} (this is equivalent to what was shown above). And please note that I follow Saibian and define w^^(w+1) as epsilon_w.