In reply to rohandbz:
Section 11.4.7 Logical operators of the LRM explains the logical equivalence (<->) operator.