TeX source:
1 < 2,3 < 5,20 < 27