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

[Nils Anders Danielsson]

On 2012-11-01 22:43, Andreas Abel wrote:
> Does anoyone know a smart workaround besides replacing all the unicode
> characters manually by some math symbols in the .tex file?

I suspect that the cause of your problem isn't really inputenc, but
rather the use of some "font package" that uses Type 3 fonts (as hinted
at by Andrés).

You may want to try using something like this:

\documentclass{sigplanconf}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Some PDF settings

% Use PDF version 1.4.
\pdfobjcompresslevel=0
\pdfminorversion=4

% Use letter paper.
\setlength{\pdfpagewidth}{8.5in}
\setlength{\pdfpageheight}{11in}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% lhs2TeX setup

%include polycode.fmt

%format λ   = "\lambda"
%format {   = "\{\mkern-1mu"
%format }   = "\mkern-1mu\}"
%format .   = "."
%format not = "\Varid{not}"

% ...

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Fonts, symbols

% Use the mathtime fonts.
\usepackage[warningshow,cmbold,noTS1]{mathtime}

% More symbols.
\usepackage{amsmath}
\usepackage{latexsym}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Unicode setup

\usepackage[english]{babel}
\usepackage[mathletters]{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{autofe}

\DeclareUnicodeCharacter{"2115}{\ensuremath{\mathbb{N}}}

% ...

-- 
/NAD