TeX source:
T(5) = 90