>>686-688で定義した蒼穹表記をとりあえず自分でハーディ関数
Ｆ「εー0］（ｎ）まで変換してみたんですが、

ａ○↑ｂ＝Ｆ［ω＾ω］（ｎ）
ａ○→↑ｂ＝Ｆ［ω＾ω*ω］（ｎ）
ａ○↓→↑ｂ＝Ｆ［ω＾ω＾2］（ｎ）
ａ○←↓→↑ｂ＝Ｆ［ω＾ω＾3］（ｎ）
ａ○○↑ｂ＝Ｆ［ω＾ω＾ω］（ｎ）
ａ○○○↑ｂ＝Ｆ［ω＾ω＾ω＾ω］（ｎ）
ａ◎↑ｂ＝Ｆ［εー0］（ｎ）

と予想に反して　ａ◎↑ｂでＦ［εー0］（ｎ）に到達してしまいました。
このまま　ａ△↑ｂ　ａ□↑ｂ　更にａ☆↑ｂをハーディ関数に変換して
いくと、蒼穹表記　ａ・〜・ｂ　では物凄いことになりそうなんですが。
やはり、どこか計算間違いをしてるんですかね？
Ｆ［εー0］（ｎ）の後はまだ勉強不足で理解してないんですが。