TeX source:
1.84 \text { < } 6.0