Abdelrazak Younes wrote: > I remember I had a hard time figuring this out when I cleaned up the > Paragraph class for trunk. I don't remember the details anymore but the > trunk version is easier to understand I guess, see > Paragraph::Private::latexSpecialTypewriter().
I still don't understand it. Why should specific symbols be available in a specific font *family*, i.e. typewriter? This is an encoding issue, not a font family issue. Also, why should everything that is typeset in tt family be verbatim text, as assumed here? (also vice versa: why should verbatim text always use tt family?) Jürgen
