[pdftex] \texorpdfstring and \ge \le

[Thierry Bouche]

V> Thanks a lot. Is it true that that \90 means Symbol?

No, \9 means nothing. According to hyperref.dtx,
   6.6.8 Converting to Unicode
   Eight bit characters are converted to the sixteen bit ones, \8 is replaced by \00, and \9 is
   removed.


   i.e. \9042\145 = \042\145

   As things were coded that way in puenc.def, i used that style, but I
   don't know if it is of any use in our context!

 Thierry