bearophile Fri, 01 Mar 2013 16:40:27 -0800
auto M3 = M1 ^* M2;
Maybe better: auto M3 = M1 *^ M2; Bye, bearophile