[Haskell-cafe] [Agda] How to avoid T3 fonts in pdf generated with lhs2TeX?
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:
> 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:
I couldn't reproduce the issue. Which latex packages are you using?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe