TeX source:
d \leq-6