Code Editor : StandardSymbolsPS.t1