Re: \usepackage{times} and dvips -Ppdf

[Thomas Esser]

> If character shifting is needed it should be configured on a font-by-font
> basis.  Perhaps there should be a list of fonts to which shifting will be
> applied when the option is set for dvips.  This is really a dvips issue.

The dvips maintainer knows about the problem that character shifting
only works with *some*, but not with all fonts. So, we should just wait
(or help him by sending a patch).

Thomas