Mister Exam

Expression xy->(x->(-y))

The teacher will be very surprised to see your correct solution 😉