三条横线是什么数学符号离散数学