% Adobe Times rtxptmb Times-Bold "TeXBase1Encoding ReEncodeFont"