[1] [DFN[[[iff]]]] = if and only if

[2] [CODE[[[Iif]]]] は似ているけど違います。