Zdroj TeX:
a+(b+1)=(a+b)+1