TeX source:

In5=2t