User:Wherewithal

$$A = B \Leftrightarrow (\forall x)[x \in A \Leftrightarrow x \in B]$$