
Son caracteres escapados de HTML:
http://www.theukwebdesigncompany.com/articles/entity-escape-characters.phpCada entidad corresponde a un caracter especifico y este se interpreta por el navegador (si no me equivoco), los puedes decodificar aquí:
http://www.web2generators.com/html/entities"" = ""
Sobre el caracter decodificado de la tecla "F0-F7" () aquí tienes info:
http://www.htmlescape.net/f0/character_f0f7.htmlPD: Cuando vi tu duda el otro día, iba a responderte para decirte que parecia que se tratase de un problema de decodificación de caracteres Unicode, pero luego le hice zoom al texto y me di cuenta de que no parece un error, al menos a mi no me lo parece, y más ahora que has aclarado que son caracteres escapados,es decir que los caracteres que se indican mostrar desde el source son esos, las teclas F0-F12 etc, no se porque razón ...supongo que el misterio se resolvería sabiendo de donde obtuviste el texto xD.
Saludos