名前: やっさん 日時: 2005-10-18 17:17:46 IPアドレス: 133.1.142.* >>38624 確かにそうですね． \ddots にこだわる必要はありませんでした． ありがとうございます．
この書き込みへの返事：