negate package:LambdaHack

Unary negation.
Absolute time negation. To be used for reversing time flow, e.g., for comparing absolute times in the reverse order.