User blog comment:Ikosarakt1/Unusual number naming scheme/@comment-25420430-20140429180657/@comment-5150073-20140430163925

Wait, (2^n)-1 has binary expansion 111...111 (n 1's), which corresponds to n up-arrows, so ((2^n)-1)-arrowal is exactly 3{n}3.