Источник TeX:
(a-b)^2 \ge 0