TeX source:
x_7