rtxmi not found, using Courier.

名前: 日立
日時: 2003-10-29 01:24:28
IPアドレス: 131.112.125.*

以下のソースを Distiller で PDF にすると
rtxmi not found, using Courier.
なるエラーメッセージが出ます。
数式モード内で文字を使うと出ます。
Acrobat での出力結果には問題がありませんし
使用フォントを調べてもCourier は使われておりません。
これは如何なることなのでしょうか。

\documentclass{article}
\usepackage{txfonts}
\pagestyle{empty}
\begin{document}
$A$
\end{document}

環境：Windows2000，Acrobat5.0，Web2C-7.5.2

この書き込みへの返事：