4.2 符号微积分