TeX source:
8=7