symmetric bilinear composition law