展开 三条横杠的数学符号表示