changed symbols to html codes in 'index.html'