Update TermsNew.owl

l_DoubleVectorProduct