Binding Priority/Examples/Conjunction over Conditional

Example of Binding Priority
The convention for binding priority states that:
 * $\paren {x < y \land y < z} \implies x < z$

can be written as:
 * $x < y \land y < z \implies x < z$

as $\land$ has a higher binding priority than $\implies$.