TeX source:
T = 8