名前: ZR 日時: 2011-03-27 00:47:14 IPアドレス: 119.104.58.* >>55815 ちなみに、txfonts パッケージは、 \not\xxx の入力に対し、\notxxx あるいは \nxxx が定義済ならば、 \not との合成でなくそちらに置き換える （また、\not= や \not< 等も置き換える） という処理をしています。だからその実装を調べてみると いいかも知れません。
この書き込みへの返事：