Javascript symbol exporter