TeX source:
17 > 4