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