Symbol: matrix_mult_vector