2.8 导入另一个代数符号