@user21820 In MathJax room there was some discussion how to write expressions with quantifiers - I would consider it more a typographical discussion rather than some technical discussion about MathJax.
Since you often write on this site about logic, you might have something to add.
Originally I wanted to mention this in the Logic chatroom - but then I saw that it is now a gallery room. In any case, I wanted to mention it there mainly to get your attention.
