数学符号两竖什么意思