TeX source:
8×5=40