User blog comment:Mh314159/new YIP notation/@comment-39585023-20190705220451

Edited with a more powerful recursion of [a,b], which is as far as I have gone, although I might also go back and apply similar ideas to [a] for consistency. I hope the [a,b] definition terminates!