TeX source:
\Re(z)=1