adds minified symbolset js