User blog comment:Alejandro Magno/Untitled Notation/@comment-5029411-20140919211940

a-b-c = {a,b,c} on BEAF, has level w

a-b-c-d has level w+1

a-b-c-d-e has level w+2

a-b-c--d has level w*2

a-b-c--d--e has level w*3

a-b-c---d has level w^2

a-b-c-^-d has level w^w

a-b-c-^--d has level w^{w+1}

a-b-c--^-d has level w^{w*2}

a-b-c-(-^-)-^-d has level w^{w^2}