TeX source:
70 r < 40