User blog comment:P進大好きbot/Analysis of 非想非非想 notation/@comment-34422464-20190802004834/@comment-35470197-20190802010028

As I declared in the top of the blog post, the precise definition is written in Japanese in the quoted link. I will extend it in the future in English.