TeX source:
-2 d \geq 12