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