Added __sub__ to symbol for symbol subtraction.