If and only if

From CS2800 wiki

[math]P [/math] if and only if [math]Q [/math] just means "if [math]P [/math] then [math]Q [/math] and if [math]Q [/math] then [math]P [/math]". It is sometimes abbreviated "iff".