Fuente TeX:

(a\circ b)\ast (c\circ d)=(a\ast c)\circ (b\ast d).