Zdroj TeX:
8-5 = 3 \Rightarrow x=3