TeX source:
t_a=1.753