TeX source:
4x