TeX Quellcode:
y=5 \;\;\Rightarrow\;\; a = -2-3 \cdot 5 = -17