TeX source:
0! =1