TeX source:
m+10=20 \Rightarrow m=10