名前: はてな 日時: 2001-07-19 16:02:54 IPアドレス: 202.13.160.*
>1 エディタにそのような置換コマンドが備わっていると思いますが、最悪、プログラム をお作りになるかたであれば数行で作れます。;-) 了解。 TEXの中で新しいコマンドを定義するのかなと勘違いしておりました。 2 全角矢印を使うか、あるいは verbatim を諦めて \leftarrow 以外を \verb で埋めることでしょうか。 了解。 ありがとうございました。
この書き込みへの返事：