Dicho estandar requiere que dichos caracteres sean tecleados como código ASCII.
Aquí tenemos una lista de todos los carácteres especiales para HTML más usados.