user_operator_with_prefix_minus(- (1 ~ 2 ~ 3), - (1 ~ 2), 1 ~ 2).