User blog comment:TheMostAwesomer/I'm assuming that this isn't as strong as it could be./@comment-25337554-20160114102031/@comment-5883141-20160114151812

I pushed the current notation quite a bit further after I wrote this, defining something that's ⟨a,a,a...a,a,a⟩ w/b a's, something that does the same with it, and got tired of this whole process and defined a new encompassing function, using {[]}.

I might adjust the rules of these functions to more closely match BEAF, but {[a,b,c]} is defined with a and b being the corresponding values in the defined level of said function, and c defining the level. ⟨a,b⟩ is level 1. This is certainly stronger, but probably not by too much.

And thanks, I'll make those changes (and redefine some numbers).