名前: 本田 日時: 2011-03-26 14:56:48 IPアドレス: 211.128.147.* >>55811 そうです． ですんで，55810でも使ってます． あれは\not\inと入力すると\notinの動作をし \not=などの場合はそのままという \futureletによる先読みとトークンの消費のサンプルに過ぎません．
この書き込みへの返事：