support symbolic negation