Minus[x->NUMBER, y->NUMBER] =: NUMBER Minus[x->MIXED, y->MIXED] =: MIXED Minus[x->BEHAV, y->BEHAV] =: BEHAV
Minus returns the difference of x and y.
x - y
Divide, Plus, Times.