User blog comment:Hyp cos/Analysis - BEAF, FGH and SGH (part 3)/@comment-25371339-20141009160708

This is not the end of BEAF.

We can have /-type square-bracketed legions (e.g {[L,X/2]}b,p), and follow it with the [&&] operator, and have //-type, (1)/-type, {L,#}-type, ∖-type, |-type, {LX,#}-type, square-bracketed type, etc.