Added unary minus to UC