TeX source:
1+2y-1=0 \Rightarrow y=0