“Eff” is the pronounciation of the letter f, so iff becomes if-f becomes if-eff. It might be more intuitive with a dash, but also it’s less like a word. I’ll edit in an explanation of the etymology; I thought it was more intuitive than it actually was.
“Eff” is the pronounciation of the letter f, so iff becomes if-f becomes if-eff. It might be more intuitive with a dash, but also it’s less like a word. I’ll edit in an explanation of the etymology; I thought it was more intuitive than it actually was.
Ahh, OK. This has the advantage that it’s connected to ‘iff’, so you’re competing less with existing usage.