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

[Andrés Sicard-Ramírez]

On Thu, Nov 1, 2012 at 4:43 PM, Andreas Abel <andreas.abel at ifi.lmu.de>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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121101/6fa2b8cf/attachment.htm>