User blog comment:Syst3ms/Parallel Funky Notation/@comment-33713741-20190801004039/@comment-33713741-20190801175035

AND EXAMPLES WITH TERMINATION MB

ALSO I THERE SOME NOTATIONS WITH SUCH LEVEL FUNCTIONS AS I UNDERSTAND