Symbol: multiply_matrix_vector