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