TeX source:
4 \quad 9