TeX source:
t = 4