\(f_{\omega^\omega}(n)\)矢印表記改は、じぇいそんが初心者向けの矢印表記の拡張の一例として考えた表記であり、多変数アッカーマン関数や配列表記とほぼ同じ強さである。以下矢印と言ったら\(\uparrow^3\)のように右上に正整数の添字に持つ\(\uparrow\)記号を指す。\(a,b,c\)は正整数、\(X\)は\(0\)本以上の任意の矢印の束とする。複数の規則が適用できる場合は、より上にある規則を優先的に適用する。b\)はペンテーション、となり、矢印表記と同じになる。急増加関数との比較\(\uparrow^1\)については矢印表記と同値であるため省略する。ライセンスの下で利用可能です。