TeX source:
15\times0=0