展开 3条横线是什么数学符号