TeX source:
4-3x