TeX source:
\min