> Since you have a real use case here, and the case of someone trying > to use a degree sign without the EC font is only hypothetical, I > have instated your proposed definition for \textdegree.
Thanks. > I found that copying and pasting produced an extra space before the > degree sign, like 45 °. The output in the PDF file corresponding to > 45° was > > [(45)]TJ/F126 10.9589 Tf 10.909 0 Td [(\260)]TJ > > (produced using \pdfcompresslevel0) I get the same, using normal compilation, then uncompressing with `pdftk`. > although I didn't/couldn't investigate further. It may depend on > the PDF reader. Interesting. Using either evince 41.3 or okular 21.12.3 on my GNU/Linux box, copy and paste works correctly. What PDF viewer is problematic for you? > I did investigate if something could be done inside the PDF output > to make the copiable text differ from the displayed text, using a > feature called ActualText (available in PDF standard from version > 1.5 onwards), but it seemed far more trouble than it was worth. This is a nice idea, since PDF version 1.5 is the standard format of pdftex nowadays. I think it would be worth to be put on `texinfo.tex`'s TODO list. Werner