Source TeX:
b^2-4ac \geq 0