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