Source TeX:
5< 5