展开 圆圈一个竖线是什么数学符号