_MINUS: int x int -> int
_MINUS: real x real -> real
x - y
The binary infix operator "-" realises arithmetic subtraction on integers and reals; there is a corresponding predefined function _MINUS, such that a - b and _MINUS(a,b) are equivalent expressions.
In expressions, "-" binds stronger than the relative and equality operators, but weeker than multiplication, division, and the length operator (#).
See also: Operators and Expressions.