Reformat SymbolUtil