TeX source:
8×2=16