En español se usan las abreviaturas sii, ssi y syss, de modo que es equivalente "p ↔ q" a “"p" sii "q"”.