1. Menu: "插入" -->"公式"-->"ANS multiline 环境", the "ANS" should be "AMS".
2. Using "定理" module: "推论" becomes "Corollary" in output PDF, not Chinese...
1. Menu: "插入" -->"公式"-->"ANS multiline 环境", the "ANS" should be "AMS".
2. Using "定理" module: "推论" becomes "Corollary" in output PDF, not Chinese...