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