niplav comments on How to write a big cartesian product symbol in MathJax