展开 三个竖线是什么数学符号