两条竖线在数学中是什么符号呢