User blog comment:Josewong/New Notation Extended Plus-E Notation/@comment-38877333-20191208213651

Falls flat because: what is <##>?