_TIMES: int x int -> int
_TIMES: real x real -> real
x * y
The binary infix operator "*" realises arithmetic multiplication on integers and reals; there is a corresponding predefined function _TIMES, such that a * b and _TIMES(a,b) are equivalent expressions.
In expressions, "*" binds stronger than "+" and "-", but weeker than list element access (@) and the length operator (#).
See also: Operators and Expressions.