The sentential connective =, 'if and only if.' See Logic, formal, § 1. -- A.C.
(of a proposition) asserting that the existence or occurrence of one thing or event depends on, and is dependent on, the existence or occurrence of another, as “A if and only if B.”