TeX source:

x-7