Is "iff" considered a real word or just an abbreviation?

I would count it as jargon and I'd never use it in prose. It's a programming/maths term meaning if and only if and should be restricted to circles where it's likely to be understood (edit like XKCD ).

The question of whether it's an abbreviation is interesting. It's obviously shorter than "if and only if" but I think I'd say it was a more of a symbol. Perhaps that's my programming background coming out [where symbol has a particular meaning (see number 2 here)]. However as it consists of more than one recognisable letter, it might be better to say it's an abbreviation

Here's an Ngram which shows that iff has become more popular recently, corresponding to the increase in computing. That may explain the increase in "if and only if" as well. I have no idea whether the incidence around 1800 is simply an alternative spelling of if or whether that actually meant "if and only if".


While acknowledging the excellent answer from @Andrew Leach, one man's jargon is another man's specialized terminology. To the non-mathematician, this is jargon. To the logician, this is an abbreviation that is used in a similar way (though not as frequently) as QED. (At the bottom of a proof, a mathematician will write QED, standing for quod erat demonstrandum, to indicate that he or she has proven that which was set out to be proven.) You may find QED in popular usage, but it is both specialized terminology and an abbreviation.

I first ran across IFF in my 8th grade algebra class, and it was used in logic truth tables. It meant, as others have correctly stated, "If-and-only-if."

In the context of the XKCD comic, it means Honk if (and only if) you love formal logic. The truth table would be:

You love              You honk           You obey the 
formal logic                             bumper sticker
Yes                   Yes                Yes
No                    No                 Yes
Yes                   No                 No
No                    Yes                No

This means that if you honk because the driver swerved into your lane, then you are not obeying the bumper sticker (or the truth value of the bumper sticker's logical statement). And if you don't honk even though you love formal logic, then you're not obeying the truth value of the bumper sticker.

My experience in both programming and math has seen IFF rarely in programming and sometimes in math and logic. Few programmers, for instance, would recognize the equivalence between ~ XOR (not Exclusive OR operation) and IFF.

Q.E.D., but IFF you understood the truth table.