名前: mzono 日時: 2003-01-18 12:22:15 IPアドレス: 130.54.210.*
この場において本質的でない質問かも知れませんが お許し下さい。 mathabxフォントを使おうとしたら、 $\models$（|=）が定義されていないようなのです。 それでとりあえず \newcommand{\models}{\vDash} と書いてしのいでいるのですが、 \modelsと\vDashは基本的に 同じものとみなしてよいのでしょうか。 amssymbのほうでは`\vdash'や`\Dashv'などが 定義されているようなのですが、 もともと\modelsがあるのに\vDashが必要なのだろうかと 疑問に思ったのです。 あと（こちらが真の質問なのですが） 個人的には（cmにおける）\modelsのほうが \vDashよりもデザインがいいので、 \modelsの方を使いたいのですが、 これはどう定義すればいいのでしょうか？ よろしくお願いします。
この書き込みへの返事：