TeX джерело:
\forall M \exists n :\; n^2\;\gt\;M