[pdftex] \texorpdfstring and \ge \le

Thierry Bouche thierry.bouche at ujf-grenoble.fr
Wed May 7 14:01:54 CEST 2008

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

   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!


More information about the pdftex mailing list