TeX source:
\Re