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

Andreas Abel andreas.abel at ifi.lmu.de
Thu Nov 1 22:43:13 CET 2012


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}

If I remove this, my unicode characters are garbled in the 
lhs2tex-generated code. Does anoyone know a smart workaround besides 
replacing all the unicode characters manually by some math symbols in 
the .tex file?

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list