User blog comment:DrCeasium/new hyperfactorial array notation/@comment-25418284-20130416194254/@comment-5529393-20130416195150

Yeah, Bird's notation definitely beats BEAF, and is formally defined to boot.

But Dr. Ceasium looks like he's on the right track!