展开 三个横线的数学符号什么意思