Jika dan hanya jika

Simbol logika yang bersangkutan adalah "↔", "⇔" dan "≡", serta kadang-kadang "iff". Semua ini biasanya diperlakukan ekuivalen. Namun, sejumlah teks logika matematika (khususnya pada logika order pertama, daripada logika proposisional) membedakan tanda-tanda itu, di mana tanda ↔ digunakan sebagai simbol dalam rumus logika, sedangkan tanda ⇔ digunakan dalam menyampaikan alasan mengenai rumus-rumus logika itu (yaitu dalam metalogika). Dalam notasi , digunakan simbol prefiks 'E'.