Added more translations for special characters as not all environments handle them equally