Times package:algebra

times default definition