Update MathNew.owl

l_DoubleVectorProduct