Replaces for several html-symbols have been added