数学中一个竖杠是什么意思