でも，書くためにリサーチしてたら時間経って書きたくなくなるんだよ． あーあ． 今日書きたかったことは，「LEANファイルをEmacsで編集してるときに 簡単に打ち込める記号一覧の見方」． でも，それをしようとしたときにバックスラッシュ'\'キーで円マーク'…