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:
The screenshot was taken from TextEdit, zoomed in a lot.
Does anyone have any idea as to what they are?