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