User blog comment:PsiCubed2/Does anybody here know the expansion rules for BM2?/@comment-31966679-20180709160847/@comment-30754445-20180709185200

The expansion rules *are* the definition of a notation.