展开 一个圈中间一竖是什么数学符号