数学逻辑-等价数学运算符号