メモをとるときは「アスキー数学」で書くのが好きです。
たとえば、連続の定義
all eps > 0, exist del > 0 . |f(x)-f(y)| < eps . |x-y| < del
入力時にユニコードを自動的にインライン化したい
Ɐ ε > 0, ∃ δ > 0 . |f(x)-f(y)| < ε . |x-y| < δ
1)これはマイナーモードで存在し、ラテックスメジャーモードとは無関係ですか?
2）emacsで「トークン」を置き換えるにはどうすればよいですか。たとえば、正規表現 "\W+all\W+" => "Ɐ" (" all " を書くほうが "\forall" より簡単だから)?