名前: taka 日時: 2002-06-18 09:26:17 IPアドレス: 211.128.161.*
\hookright(left)arrow の形で, \longrightarrow と同じ長さのものを 出力するコマンドは用意されていないのでしょうか? もし無いのなら, 自分で作りたいと思っております. \longrightarrow が定義されている箇所を参考にして \hookrightarrow の一部を書き換えるという方法で できると思うのですが, これらがどのファイルの中で 定義されているのか分かりません. どなたかご教授頂けたら幸いです.
この書き込みへの返事：