Html: some special characters.