Zdroj TeX:
\small y \leq n: x + y' = y' + x