Zdroj TeX:
a > b \; \Rightarrow\; a+ c > b + c