This information is part of the Modelica Standard Library maintained by the Modelica Association.

Here the multiplication operator(s) is/are defined.