Re: [Haskell-cafe] [Agda] How to avoid T3 fonts in pdf generated with lhs2TeX?

On Thu, Nov 1, 2012 at 4:43 PM, Andreas Abel wrote:

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}

I couldn't reproduce the issue. Which latex packages are you using? -- Andrés