HTML Symbols in editor #14