数学式子双竖线代表什么