名前: clothoid 日時: 2003-12-27 00:42:31 IPアドレス: 219.167.15.* >>24513 ありがとうございます． 無事解決できました． >ひとつの文書の中で QED の記号が付いたり付かなかったりするのがいいのかどうか proof 環境のオプションで proofname を 証明以外の意味を持つ名前に変えたとき， QEDが無いほうが良いと思ったのですが， あまり良くありませんかね・・・．
この書き込みへの返事：