x \mapsto y



1/3



1 + 1 = 2
1 \leq 3 - 1
\leq 5