展开 三个横杠的数学符号