Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

biconditional

Symbol \iff — "if and only if"; the implication holds in both directions at once.

P \iff Q asserts P \implies Q and Q \implies P simultaneously — P is true exactly when Q is true. Used to state definitions and fully equivalent conditions.

Examples

  • A number is even \iff it's divisible by 2.

See also

Read the full section →
Graph settings

Calculator