TeX source:
0.37 \text { < } 6.0