矢印表記改は、じぇいそんが初心者向けの矢印表記の拡張の一例として考えた表記であり、多変数アッカーマン関数や配列表記とほぼ同じ強さである。 以下矢印と言ったら\(\uparrow^3\)のように右上に正整数の添字に持つ\(\uparrow\)記号を指す。\(a,b,c\)は正整数、\(X\)は\(0\)本以上の任意の矢印の束とする。 複数の規則が…