TeX source:
\inf