2007-02-14 LaTeX for Logicians 備忘 LogBlog経由、Peter SmithのLaTeX for Logiciansページ。Lewisのstrict implicationの表示の仕方、とか。