Update symbol.h