展开 公式属于概念还是符号类