-

function (- x1 x2 ... xn) → z

(- x) -> -x