Update Symbols.h