TeX source:

5⋅4!