TeX source:
4 \times 3=12