离散数学中的等价符号怎么读