TeX source:

5 ( x < 5 )