Re: rtxmi not found, using Courier.

名前: 奥村晴彦
日時: 2003-10-29 07:50:03
IPアドレス: 210.236.176.*

>>23169

この場合rtxmiは実際には使われていませんが，次のようにしてrtxmiを使えば
どうなるでしょうか。

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

この書き込みへの返事：