TeX source:
A^2+B^2>0