User blog comment:Denis Maksudov/M-notation (new version)/@comment-25337554-20160625095005

Even if you use this, I don't understand the rules... Is this really well-defined?