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