TeX source:
1! = 1\cdot0!