論理記号

名前: 斎藤
日時: 2003-04-18 21:34:32
IPアドレス: 218.178.122.*

論理記号で「α⇒β」の否定を「\neq」や「\notin」
と同様，矢印上に出力する方法と，同じく矢印上に
「def」を出力する方法を教えて下さい．

お願い致します．

この書き込みへの返事：