TeX source:
0 > (2)^2+1