数学符号中的双向箭头是什么意思啊？

双向箭头即等值命题（或称为充要条件）。命题的“双条件”运算：pq 命题p与q的等价关系 关系符号 如“=”是等号，“≈”是近似符号（即约等于），“≠”是不等号，“>”是大于符号，“