数学符号一个圆一条杠怎么读