Update symbols.h