展开 数学符号三条杠什么意思