Mathematica符号运算