User blog comment:Denis Maksudov/M-notation (new version)/@comment-25601061-20160626215102

I don't quite get it. Are you sure this is really well-defined?