TeX source:
z =9