TeX source:
6n + 5 = 4n + 13