＞＞790
再計算どうもすみません。
まず、＞＞765を見て僕がωの計算を早合点してました。
9◎○→↑n ≒ F[ω^(ω+1）+ω＾ω)](n)=Ｆ［ω＾（ω+1）*2］
と計算してました。9〜・ｎではとてもε_0まで行きません。

＞＞686-688の説明不足については、
ａ［2重△］↑ｂ＝ａ△△…△↑ｂ　※△がｂ個
ａ［2重△］［2重△］↑ｂ＝ａ［2重△］△△…△↑ｂ　※△がｂ個
ａ［3重△］↑ｂ＝ａ［2重△］…［2重△］↑ｂ　※［］がｂ個
が抜けてました。□や五角形、ついでに☆も同じです。
ａ☆↑1＝ａ↑ａ　　ａ☆↑2＝ａ○↑ａ　　ａ☆↑3＝ａ△↑ａ
も抜けてましたが、こちらは全体に影響しないですね。
僕の再計算では
9〜・↑ｎ≒ｆ［ω＾ω＾ω］（ｎ）　　
9・〜・ｎ≒ｆ［ε_0］（ｎ）　　
となりましたが、さすがに自信が無い。

あと、なんでａ〜・↑ｎでなく、9〜・ｎと書いてるのか不思議
に思ってたんですが。考えてみれば僕が総9のダジャレと
書いてたんだから、9〜・ｎと書くほうが正しいですよね。（笑）