User blog comment:VoidSansXD/The + notation/@comment-37246647-20190216010206

That would grow very slowly, unfortunately.

n++x is basically f02^x(n)