Subtract
x - y is equivalent to x + (-1 * y).
x - y is converted to x + (-1 * y) on input. See The Mathematica Book: Section 1.1.1. See also: Minus, Decrement.
Further Examples
x - y is equivalent to x + (-1 * y). 
