Hi all, I noticed that in the polycode mode, lhs2TeX produces odd looking output for hex constants. E.g. \begin{code} wibble = 0x7F \end{code} It produces a nice little gap between the 0 and the x. Inspecting the latex source, it even goes to some effort to do so: \mathrm{0}\;\Varid{x7F} I couldn't see anything in the manual to show me how. Anyone? -- Dr Thomas Conway You are beautiful; but learn to work, drtomc@gmail.com for you cannot eat your beauty. -- Congo proverb