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