Skip to main content
Known Participant
November 8, 2019
Question

Copying the tilde ( ~ ) character

  • November 8, 2019
  • 1 reply
  • 3086 views

If I copy some text in a PDF file which has the tilde character in it, and then paste that text into a text editor such as JEdit or Notepad, the tilde character is pasted as 0x98, and not 0x7f. Is this a know bug in Adobe Acrobat ot am I doing something wrong ? I am using Adobe Acrobat Reader DC version 19.021.20048.27333 in Windows 10.

This topic has been closed for replies.

1 reply

Legend
November 8, 2019

It's probably a bug in the PDF. A PDF can have the right character on screen but still contain the wrong text for copying. PDF text extraction is an uncertain and rather random thing, it's not the simple alternative to TXT that many people wish it to be.

edienerAuthor
Known Participant
November 8, 2019

Is there a way to view the character's actual hexadecimal code in Acrobat ? I do not see this functionality when I view the PDF.

Legend
November 8, 2019

No. Characters don't have a hex code as you are thinking, but text extraction generates a Unicode point using all sorts of info inside and outside the PDF.