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

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Fri Nov 2 04:06:56 CET 2012

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?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121101/6fa2b8cf/attachment.htm>

More information about the Haskell-Cafe mailing list