A.5.3 符号微积分运算