4.2 符号表达式与符号方程