TeX source:
0.2(10-5c) = 5c-16