Re: better glyph for U+00B0 (DEGREE SIGN)

[Werner LEMBERG]

> 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