5.1 符号变量与符号表达式