[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://lists.chalmers.se/pipermail/agda/attachments/20121101/6fa2b8cf/attachment.html

More information about the Agda mailing list