minified symbolset js