User blog comment:Deedlit11/tree(n) and otree(n)/@comment-5150073-20130320094528

In the array notation:

F_w(2^^(2^^(2^^65536))) > {3,4,1,2} = n_1

F_w2(n_1) > {3,3,{3,4,1,2},2} = n_2

F_w2(n_2) > {3,3,1,3} = n_3

F_w2(n_3) > {3,4,1,3} = n_4

F_w^2(n_4) > {3,3,3,{3,4,1,3}} > {3,3,1,1,2} > n_5

F_w^2(n_5) > {3,4,1,1,2}

So we can say that otree(3) is inexpressible in full in the standard chained arrow notation.