Update AdditionSymbol.h