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

I second Psi on this.

Having a definition written in Japanese is as useful as having no definition whatsoever for English people. It would be less of an issue if the Japanese definition had used more formal logic, but it's not the case, and not worth changing by now.

And the Japanese symbols are indeed a bit of a headache to tell apart since we're just not used to that type of writing. I support Psi's proposition.