If and only if
From Maths
Stub grade: C
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Not important, as I assume readers know this by default
Logical equivalence
If A⟺B (⟺ denotes "if and only if") then A is logically equivalent to B