16/01/25 08:22:27.36 .net
>>287
いや、お恥ずかしながらその検索もしていない。
「あのフォントはAMSのものではなく、Plain TeXの標準パッケージ
（という言い方でいいかどうかわからないけど）に入っている」と
思い込んでいたから。
16/01/25 08:22:27.36 .net
>>287
いや、お恥ずかしながらその検索もしていない。
「あのフォントはAMSのものではなく、Plain TeXの標準パッケージ
（という言い方でいいかどうかわからないけど）に入っている」と
思い込んでいたから。