added addSymbol() functions and checkers