TeX source:

80=15x