[pdftex] \texorpdfstring and \ge \le
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