User blog comment:Cookiefonster/My informal proposal of BEAF from limit of tetrational arrays up to SVO/@comment-99.185.0.100-20150624013402/@comment-4224897-20150624013824

this is a crazy old post. it's an old experiment of mine that i kinda abandoned. i've been hoping to make a working logical variant of BEAF that matches with bowers' ideas of how it works, and it would be quite different from this one.

as for your question, how is the separator  ({X,X(X^^X)2}) ambiguous? i don't get it.