2

I did a copy-paste from a PDF, the text that should have been pasted is:

(\<(/?[^\>]+)\>)

But, instead, I get some VERY strange characters. Demonstrated in the following screenshot:

Weird 2

The screenshot was taken from TextEdit, zoomed in a lot.

Does anyone have any idea as to what they are?

3

They are characters from the private use part of Unicode.

hence the "space alien"

  • Which means that the PDF encoding is off, yes? – user3463 Nov 15 '10 at 5:10
  • Or the PDF is using a font that defines these somehow, and copy-pasting into a standard font is causing the issue. – ssube Nov 15 '10 at 5:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.