How is defined in Fenics the matrix dot product?
I mean A:B = sum_i sum_j A_ij *B_ij
The UFL notation for the double dot product of matrices A and B is
inner(A,B)