Binding Priority/Examples/Disjunction over Biconditional

Example of Binding Priority
The convention for binding priority states that:
 * $x + y \ne 0 \iff \paren {x \ne 0 \lor y \ne 0}$

can be written as:
 * $x + y \ne 0 \iff x \ne 0 \lor y \ne 0$

as $\lor$ has a higher binding priority than $\iff$.