TeX source:
2-c = 5c-16