User blog comment:B1mb0w/Compact Veblen Notation/@comment-26428969-20151026184148/@comment-27173506-20151224160949

I think the ruleset you're looking for is:

phi(1)=w

phi(a+1)=w^phi(a)