TeX source:
z=23