Added more translations for special characters as not all environments handle them equally
5.4 should probably work as well