Extraigo datos de un documento de Google, los proceso y los escribo en un archivo (que eventualmente pegaré en una página de Wordpress). Tiene algunos símbolos no ASCII. ¿Cómo puedo convertirlos de manera segura en símbolos que se pueden usar en código fuente HTML? Actualmente estoy convirtiendo...