too simplistic definition of U+201C and U+201D

[Werner LEMBERG]

Characters U+201C and U+201D map to \quotedblleft and quotedblright,
respectively, which in turn are defined as

  \chardef\quotedblleft="5C
  \chardef\quotedblright=`\"

If used within @code, this fails, and you get a backslash and a
straight double quote, respectively.  Since we are already using EC
fonts at various places, we could define these glyphs too (and some
others missing in CM) with

  \def\quotedblleft{{\ecfont \char"10}}
  \def\quotedblright{{\ecfont \char"11}}

or use those glyphs if the current font is typewriter.


    Werner

[Karl Berry]

Hi Werner,

      \chardef\quotedblleft="5C
      \chardef\quotedblright=`\"

    If used within @code, this fails, ...

      \def\quotedblleft{{\ecfont \char"10}}
      \def\quotedblright{{\ecfont \char"11}}

Thanks.  I'll work on this, unless Oleg gets there first :).