A.5.1 符号变量、符号表达式的建立