符号式

symbolic expression