Zdroj TeX:

(-a) \oplus (-b)=T_{(-r,s)} \oplus T_{(-u,v)} \overset{def}{=} T_{((-r) \cdot v +(-u) \cdot s, s \cdot v)}