TeX source:
8y^{13}