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

Right, I should remember that there are many people who feel like vomitting when they see massive mathematical formulae... That is why I usually write a section on explanations in a natural language before a section on the actual definition.