Code Editor : _copySymbolsIn.js