TeX source:
\;x=0