TeX source:

P\otimes (Q\oplus R)= P\otimes Q \oplus P\otimes R