User blog comment:Ikosarakt1/Analysis on Hyperfactorial array notation/@comment-10429372-20140406141844

Did you mean φ(ω+1,φ(ω,φ(ω+1,0)+1))?