I work a lot with different (human) languages in settings where i sometimes need to escape special characters in different web environments. That is why this Unicode converter tool often comes in handy:

http://people.w3.org/rishida/scripts/uniview/conversion.php