TeX source:
> 22