added SimpleSymbols.js