TeX source:
8×1=8