Updated symbol.c and symbol.h