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

Ah, so what I posted is different from the notes I have here that I was working from and I had not realized that I had not changed the blog version. I might be updating with a new definition. Thanks.