展开 三条横杠的数学符号是什么