Hi, I found the problem, it solved itself with an update of the TeXLive suite... https://github.com/kosmikus/lhs2tex/issues/24 Thanks for your help! Andreas On 01.11.12 11:15 PM, Dominique Devriese wrote:

Andreas,

2012/11/1 Andreas Abel :

...

Hello,

maybe someone has experience in publishing papers that use lhs2TeX and unicode characters with ACM, and has been in my situation before...

Sheridan, who publishes for ACM, does not like T3 fonts. However, lhs2tex --agda does make use of T3 fonts via:

\RequirePackage[utf8x]{inputenc}

If I remove this, my unicode characters are garbled in the lhs2tex-generated code. Does anoyone know a smart workaround besides replacing all the unicode characters manually by some math symbols in the .tex file?

Not sure about all this, but perhaps you can try to use utf8 instead of utf8x and manually define translations for the unicode characters that you use,e.g.:

\DeclareUnicodeCharacter{2032}{'} \DeclareUnicodeCharacter{2080}{_0} \DeclareUnicodeCharacter{2081}{_1} \DeclareUnicodeCharacter{2082}{_2} \DeclareUnicodeCharacter{2115}{\mathbb{N}} \DeclareUnicodeCharacter{2192}{\to} \DeclareUnicodeCharacter{2200}{\forall\,}

Perhaps you can then somehow avoid translations that use T3 fonts (not sure what these are though). Note: the numbers are the characters' unicode hexadecimal representation (AFAIU), which you can find e.g. using emacs's describe-char.

Dominique

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/