1. Menu: "插入" -->"公式"-->"ANS multiline 环境", the "ANS"  should be "AMS".

2. Using "定理" module: "推论" becomes "Corollary" in output PDF, not Chinese...

Reply via email to