TeX source:
\Re(y)=1