TeX source:

5x-8>40