symbolic tuple subtraction