p iff q

If-and-only-if operator. Computes the logical equivalence of boolean expressions p and q.

Example

true iff false

false