4.1 符号变量、表达式及符号方程