If and only if mathematical notation

If and only if is a recurring research-paper notation family. States that each proposition implies the other, making both directions part of the claim.

If and only if: States that each proposition implies the other, making both directions part of the claim. Example: Each statement is true exactly when the other is true.