TeX source:
5=5