TeX source:
> 17