16/01/24 16:41:50.30 .net
>>285 ありがとうございます。早速そのキーワードでぐぐってみました。
Plain TeXはよくわからないので、AMS-LaTeXをダウンロード。
URLﾘﾝｸ(www.ams.org)
＃新しめのTeX Liveには最初から入ってるよ、と書いてありましたが、
＃実はふだんの環境にはTeXがないのです。
ファイルを総ざらいしてみたら、次の記述が該当するようです。
source\latex\amscls\amsdtx.dtx(429): \def\AmS{{\protect\usefont{OMS}{cmsy}{m}{n}%
tex\latex\amscls\amsdtx.cls(147): \def\AmS{{\protect\usefont{OMS}{cmsy}{m}{n}%
tex\latex\amscls\amsldoc.cls(153): \def\AmS{{\protect\usefont{OMS}{cmsy}{m}{n}%
あとは自力で頑張ってみます！