negate package:tfp

Negate x evaluates to the additive inverse of (i.e., minus) x.