IF AND ONLY IF

English language form: P if and only if Q

Symbolic abbreviation: P ≡ Q

Typical examples include:

  P if and only if Q

  P just in case Q

  THAT P is necessary and sufficient for Q

  for Q it is necessary and sufficient THAT P