TeX source:

P_n=n!