User blog comment:PsiCubed2/Formal definition of Letter Notation up to R for integer arguments/@comment-28606698-20170425102247/@comment-30754445-20170425201824

Thanks for the corrections (I'll fix the body of the post later).

And yes, it seems that Λ(α,b)=10↑αb (at least up to ωω).

As for the relation between my notation and BEAF, it has already been shown (not by me) that:

Λ(an×ωn+...+a1×ω+a0,b) = {10,b,a0,a1+1,a2+1,...}

It didn't happen on purpose, by the way. Just like you, I didn't think of BEAF at all when I created my notation. Funny how 3 people with 3 different goals in mind created 3 different notations which ended up exactly equivalent to one another. :-)