TeX source:
t =9