TeX source:
\prod