Update symbols.html