Source TeX:
a\times (b+c) = a\times b + a\times c