adding support for ISO 8859-1 symbols and characters, HTML Math symbols, HTML Greek symbols, and other HTML entities