User blog comment:MonkeyProphet/Big and massive functions/@comment-35470197-20190128234353

> ([M],n,x)=({B{B{...{B(x),(x)}...}} With ([M].n-1,x) iterated {B}'s where ([M],0,x)= {B,(x),(x)}

I guess that there are typos, because (B{B(x),(x)} does not make sense. Or you forgot to define B{x}. It would be {B(x),(x)} or something like that. Also, is {B,(x),(x)} equal to {B(x),(x)}?

> [Mψ]x=([M],n,x),([M],n,x),...,([M],n,x) with ([M],n,x) iterations where n =([M],0,x)

It is an array. Or do you mean (M,n,(M,n,(...)))?