展开 数学中三条横杠什么意思