离散数学中没有见过你这个符号倒是有这么个符号：双箭头它的意思是等价AB 当且仅当 AB同为真或AB同为假时为真当AB的真值不同时为假
双向箭头即等值命题（或称为充要条件）。命题的“双条件”运算：p<=>q 命题p与q的等价关系 关系符号 如“=”是等号，“≈”是近似符号（即约等于），“≠”是不等号，“>”是大于符号，“<”是小于符号，“≥”是大于或等于符号（也可写作“≮”，即不小于），“≤”是小于或等于符号（也可...