数学符号双竖线什么意思