LogBlog経由、Peter SmithのLaTeX for Logiciansページ。Lewisのstrict implicationの表示の仕方、とか。

空は真っ暗、濃い雨雲が立ちこめる。起床は8時、午前は雑用。昼前から強い雨になる。午後も雑用、15時なってやっと論文を読み始める。チョコケーキのお礼にと、事務のYzさんからロイドのチョコクッキーをもらう。 帰宅は19時、夕食はシチュー。食後にCの作っ…