Am Sonntag, den 18.12.2016, 20:36 +0000 schrieb Guenter Milde: > We could also take the symbol from T1
Good idea.
> or the typewriter font:
IMHO mixing fonts is not a good idea.
I think I'll go for
\DeclareTextSymbolDefault{\textquotedbl}{T1}
Thanks,
Jürgen
signature.asc
Description: This is a digitally signed message part
