Updated symbol.h