TeX source:
\ a^2+b^2-c>0