At 19:44 13/09/2003 +0200, you wrote:

Hi,

Daniel Flipo writes:

[...]

...

\starttyping ... \stoptyping works fine, but \type{} typsets a "single dash" instead of two dashes. The "single dash" is also different (lower and shorter) than the two dashes.

You should make a bug report and send it to Hans. IMO the \type should try hard to avoid ligatures (I have no clue how this could be done, but since Hans did this for \starttyping...\stoptyping, there is a chance that this might go into \type, too).

One could argue that there should be no ligatures in a tt (or better: monospaced) font. But this is a point where the opinion of the experts is not clear. See the thread "bug or feature? aer font problems":

since this effect does not show op with cmtt, it looks like the lmtt fonts indeed have a ligature, which makes them somehow incompatible; the reason why display verbatim goes ok, is that in that mode each character gets processed independently which prohibits lig building; the best solution would be a \noligs primitives (also handy for xml) an alternative is to have two tfm files, one for tt text with ligature building and one for verbatim, say: cmtt10.tfm cmtv10.tfm (cmvtt is already taken) let's see what Jacko says ... Hans ------------------------------------------------------------------------- Hans Hagen | PRAGMA ADE | pragma@wxs.nl Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: +31 (0)38 477 53 69 | fax: +31 (0)38 477 53 74 | www.pragma-ade.com ------------------------------------------------------------------------- information: http://www.pragma-ade.com/roadmap.pdf documentation: http://www.pragma-ade.com/showcase.pdf -------------------------------------------------------------------------

Hans Hagen writes:

since this effect does not show op with cmtt, it looks like the lmtt fonts indeed have a ligature, which makes them somehow incompatible;

Note that the bug also occurs with ae-fonts, so they should be fixed too... although ae-fonts will probably disappear when lm-fonts spread. Daniel Flipo