User blog comment:Revilo30703/Knuth's Up Arrow Infinite Expantion/@comment-5883141-20160123014850/@comment-5883141-20160123030230

Seems pretty neat so far.

Of note is that my compressed BEAF notation also tends to degenerate into 4 if based just off of 2's. This tends to happen in many notations.