Code Editor : encoding_symbols.html