IFFThis is what I wanted!
Shorthand in formal logic where either both statements are true or both are false.
Does "IFF" stand for something else?