TeX source:
2!=1\cdot2