use unicode identifiers instead of named entities in HTML - modern browsers do not like the old style