User blog comment:P進大好きbot/Analysis of 非想非非想 notation/@comment-39541634-20190827132021/@comment-35392788-20190828150937

For reference, I added such an explanation at the end of the STOCF blog post.