Update symbols.js