Zdroj TeX:

r \oplus (-r) = T_{(p,q)} \oplus T_{(-p,q)} \overset{def}{=} T_{(p+(-p),q)}=T_{(0,q)}=0